// JavaScript Document


function changeClass (elementID, newClass) {
	var element = document.getElementById(elementID);
	
	element.setAttribute("class", newClass); //For Most Browsers
	element.setAttribute("className", newClass); //For IE; harmless to other browsers.
}


function highlightLinks(obj) {
   var linkList = document.getElementById("navigationDiv").getElementsByTagName("a");
   for (i = 0; i < linkList.length; i++) {
      linkList[i].className = "";
   }
   obj.className = "selected";
}


function highlightLinksGen(obj, daElement, daClass) {
   var linkList = document.getElementById(daElement).getElementsByTagName("a");
   for (i = 0; i < linkList.length; i++) {
      linkList[i].className = "";
   }
   obj.className = daClass;
}