function write_header($date, $title, $this_page) { print "<head>\n"; print " <link rel=\"icon\" href=\".common_files/favicon.ico\" type=\"image/x-icon\">\n"; print "\t<link rel=\"shortcut icon\" href=\"./common_files/favicon.ico\" type=\"image/x-icon\">\n"; print "\t<meta http-equiv=\"Pragma\" content=\"no-cache\">\n"; print "\t<meta http-equiv=\"refresh\" content=\"900\">\n"; print "\t<title>{$title}</title>\n"; print "\t<link rel=stylesheet href=\"./common_files/arm-style.css\" type=\"text/css\">\n"; print "\t<meta name=\"orgcode\" content=\"682\">\n"; print "\t<meta name=\"rno\" content=\"Joseph.B.Gurman.1\">\n"; print "\t<meta name=\"content-owner\" content=\"Peter.T.Gallagher.1\">\n"; print "\t<meta name=\"webmaster\" content=\"Amy.E.Skowronek.1\">\n"; print "\t<script language=JavaScript1.2>\n"; write_jscript($date, $this_page); print "\t</script>\n"; //Insert the cool Zoom Function. (Edit: P.A.Higgins 14-May-2009) if ($this_page == "full_disk.php") { print "\t<script type='text/javascript' src='common_files/tjpzoom.js'></script>\n"; print "\t<script type='text/javascript' src='common_files/tjpzoom_config_default.js'></script>\n"; print "\t<script type='text/javascript'>\n"; print "\tfunction writeText(txt){document.getElementById('zoomtoggle').innerHTML=txt;}\n"; print "\t</script>\n"; print "\t<script type='text/javascript'>\n"; print "\t\tvar TJPzoomoffset='smart';\n"; print "\t\tvar zoomable=-1;\n"; print "\t</script>\n"; } print "</head>\n"; }
function write_header($date, $title, $this_page) { print "<head>\n"; print " <link rel=\"icon\" href=\".common_files/favicon.ico\" type=\"image/x-icon\">\n"; print "\t<link rel=\"shortcut icon\" href=\"./common_files/favicon.ico\" type=\"image/x-icon\">\n"; print "\t<meta http-equiv=\"Pragma\" content=\"no-cache\">\n"; print "\t<meta http-equiv=\"refresh\" content=\"900\">\n"; print "\t<title>{$title}</title>\n"; print "\t<link rel=stylesheet href=\"./common_files/arm-style.css\" type=\"text/css\">\n"; print "\t<meta name=\"orgcode\" content=\"682\">\n"; print "\t<meta name=\"rno\" content=\"Joseph.B.Gurman.1\">\n"; print "\t<meta name=\"content-owner\" content=\"Peter.T.Gallagher.1\">\n"; print "\t<meta name=\"webmaster\" content=\"Amy.E.Skowronek.1\">\n"; print "\t<script language=JavaScript1.2>\n"; write_jscript($date, $this_page); print "\t</script>\n"; print "</head>\n"; }