// JavaScript Document

function Hilite(element) {
  var className=new String(element.className);
  element.className=className.replace(/closed/i, "hilite");
}

function Normal(element) {
  var className=new String(element.className);
  element.className=className.replace(/hilite/i, "closed");
}

document.onmouseover=function(event) {
	if (window.event) event=window.event; 
	var element=(event.srcElement ? event.srcElement : event.target);
  Hilite(element);
}

document.onmouseout=function (event) {
	if (window.event) event=window.event; 
	var element=(event.srcElement ? event.srcElement : event.target); 
  Normal(element);
}