var CellColors = new Array;

function setCellHigh(theCell,cellNum,action){
		
		var highlightcolor = '669999';
	  
		// 1. Pointer feature are disabled or the browser can't get the
    //    cell -> exits
    if (typeof(theCell.style) == 'undefined') {
        return false;
    }
		
		 // 2. Gets the current color on mouseover
		if(action == 'over'){
			var domDetect    = null;
			var currentColor = null;
			var newColor     = null;
			// 2.1 ... with DOM compatible browsers except Opera that does not return
			//         valid values with "getAttribute"
			if (typeof(window.opera) == 'undefined'
					&& typeof(theCell.getAttribute) != 'undefined') {
					currentColor = theCell.getAttribute('bgcolor');
					domDetect    = true;
			}
			
			// 2.2 ... with other browsers
			else {
					currentColor = theCell.style.backgroundColor;
					domDetect    = false;
			} 
			
			// Save it:
			CellColors[cellNum] = currentColor;
		
		  // Set the new color
    	theCell.setAttribute('bgcolor', highlightcolor, 0);
		} // end 2.
		else {
			// 3. Restore on mouseout:
			theCell.setAttribute('bgcolor', CellColors[cellNum], 0);
		}

} // end of function setCellHigh



function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}