// This file contains javascript functions to handle the mouseover and mouseout states of the navigation

function mouseOver(page, current_page){
	if(page != current_page){
		document.getElementById("page_"+page+"_link").src= "images/navigation/"+page+"_active.jpg";	
	}
}
						
function mouseOut(page, current_page){
	if(page != current_page){
		document.getElementById("page_"+page+"_link").src= "images/navigation/"+page+".jpg";
	}
}