if (docName != '.local/' && docName != '.com/' && docName != 'welcome' && docName != 'home') {
	document.write("<div class='pgheader'><img src='/images/"+docName+".gif' class='pgtitles'></div>")
}