function getHeader(page) {
	//this is the website header.
	var page = "about";
	headerName = "htmlincludeheader_" + page + ".js";
	document.write("<script type=text/javascript src=" + headerName + ">");
}