// Makes the header "banner" look like a link
function homepage(){
	// Everywhere BUT the home page
	if (document.body.className != "home") { 
		// document.getElementById("banner").style.cursor='hand';
	}
}

// Links the header "banner" to the home page
function linkto(){
	// Everywhere BUT the home page
	if (document.body.className != "home") { 
		document.location = "../index.jsp";
	//} else { 
		//document.location = "/404error.htm";
        }
}