function write_header()
{
	document.write("<script src='http://www.snow.edu/inc/main.js' type='text/javascript'></script>\n"); 
	document.write("<script src='http://www.snow.edu/math/inc/leftnav.js' type='text/javascript'></script>\n");
}