private static string GetOverlayName(string pageDocName) { return Path.ChangeExtension(Path.GetFileNameWithoutExtension(pageDocName) + "_overlay", "smil"); }