// JScript File 
function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

function containsDOM (container, containee) {
  var isParent = false;
  do {
    if ((isParent = container == containee))
      break;
    containee = containee.parentNode;
  }
  while (containee != null);
  return isParent;
}

function hideMenus(){
	var row = document.getElementById("HomeRow");
	row.style.display = 'none';
	row = document.getElementById("AboutRow");
	row.style.display = 'none';
	row = document.getElementById("FutureRow");
	row.style.display = 'none';
	row = document.getElementById("CurrentRow");
	row.style.display = 'none';
	row = document.getElementById("CEDRow");
	row.style.display = 'none';
	row = document.getElementById("BusRow");
	row.style.display = 'none';
	row = document.getElementById("EmpRow");
	row.style.display = 'none';	
	}
					
function displayMenu(RowName){
	hideMenus();
	var row = document.getElementById(RowName);	
	row.style.display = '';
	}
	
function clearMenus(){
	var M = document.getElementById("linkHome");
	var T = document.getElementById("tblHome");
	M.className= "OrangeMenu";
	T.className= "OrangeMenu";
	T.width="45"
	M = document.getElementById("linkAbout");
    T = document.getElementById("tblAbout");
	M.className= "OrangeMenu";
	T.className= "OrangeMenu";
	T.width="100"
	M = document.getElementById("linkFuture");
	T = document.getElementById("tblFuture");
	M.className= "OrangeMenu";
	T.className= "OrangeMenu";
	T.width = "100"
	M = document.getElementById("linkCurrent");
	T = document.getElementById("tblCurrent");
	M.className= "OrangeMenu";
	T.className= "OrangeMenu";
	T.width = "115"
	M = document.getElementById("linkCED");
	T = document.getElementById("tblCED");
	M.className= "OrangeMenu";
	T.className= "OrangeMenu";
	T.width= "130"
	M = document.getElementById("linkBus");
	T = document.getElementById("tblBus");
	M.className= "OrangeMenu";
	T.className= "OrangeMenu";
	T.width="135"
	M = document.getElementById("linkEmp");
	T = document.getElementById("tblEmp");
	M.className= "OrangeMenu";
	T.className= "OrangeMenu";
	T.width="75"
	}
	
function changeMenu(MenuName, TableName){
	clearMenus();
	var M = document.getElementById(MenuName);
	var T = document.getElementById(TableName);
	M.className ="BrownMenu";
	T.className ="BrownMenu";
}