document.write("<script type=\"text/javascript\" src=\"/js/jquery.js\"></script>");
document.write("<script type=\"text/javascript\" src=\"/js/insertheader.js\"></script>");
document.write("<link href=\"/css_v2/hfpage.css\" rel=\"stylesheet\" type=\"text/css\" />");
//document.write("<link href=\"/~nntt/css_v2/fontsize-m.css\" rel=\"stylesheet\" type=\"text/css\" title=\"fontsize-m\" />");
//document.write("<link rel=\"alternate stylesheet\" type=\"text/css\" href=\"/~nntt/css_v2/fontsize-s.css\" title=\"fontsize-s\" />");
//document.write("<link rel=\"alternate stylesheet\" type=\"text/css\" href=\"/~nntt/css_v2/fontsize-l.css\" title=\"fontsize-l\" />");