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