function printHeaderNoNav() { var outstr = ''; outstr += ''; outstr += ''; outstr += ''; outstr += ''; outstr += '
'; outstr += '
'; outstr += ''; document.write(outstr); } printHeaderNoNav(); var fontFlag = false; var fontType = ""; window.onload = checkFont; function setFontSize(fs,ft) { var divEls = document.getElementsByTagName("div"); for(i=0; i