//Convert the nav bar on the top
function convertTopNav(number){
  navName="navi_r1_c"+number;
  
  if(pageNumber==number){
    if(document.getElementById){
	  document.getElementById(navName).className="tn1";
	}
	else if(document.all){
	  document.all[navName].className="tn1";
	}
	else if(document.layers){
	  document.layers[navName].className="tn1";
	}
  }
}