\n\n"); print("\n"); print("\n"); print("\n"); $file=str_replace(".php4","_HEAD.html",$localscriptname); include($file); print("\n"); print("\n"); include("http://".$servername.$wwwdocroot."/includes/navigator.php4?servername=".$servername."&wwwdocroot=".$wwwdocroot."&scriptname=".$scriptname."&extern=".$extern."&lang=".$lang); include($localcontentname); print("\n"); print("\n"); print("\n"); print("\n"); print("\n"); print("\n"); print("\n"); include("http://".$servername.$wwwdocroot."/includes/footer.php4?servername=".$servername."&wwwdocroot=".$wwwdocroot."&localcontentname=".$localcontentname); print("\n"); print("\n"); ?>