function write_header()
{
	// include the other javascript files needed to run the menu system
	document.write("<script src='/inc/main.js' type='text/javascript'></script>\n");
	document.write("<script src='inc/leftnav.js' type='text/javascript'></script>\n");
    
}