function navSet()
{
var navCell = "nav_cell_" + navThisPage
var navText = "nav_text_" + navThisPage
document.getElementById(navCell).className = "nav_cell_active";
document.getElementById(navText).className = "nav_text_active";
}


function navOver(navThis, thisState)
{
 if (navThis != navThisPage){
  var navThisId = "nav_cell_" + navThis
  
 	if (thisState == "over"){
	   document.getElementById(navThisId).className = "nav_cell_over";
	   } else {
	   document.getElementById(navThisId).className = "nav_cell";
	   }
   }
}