function lighthouse_glow(){
		document.getElementById('headerlogo').setAttribute("src","images/header_lighthouse_hover.png");
}

function lighthouse_return(){
		 document.getElementById('headerlogo').setAttribute("src","images/header_lighthouse.png");
}