function mouseOver() {
el = event.srcElement ;
if (el.getAttribute("HighLight") != null) {
el.className = "on1" ;
}
}

function mouseOff() {
el = event.srcElement ;
if (el.getAttribute("HighLight") != null) {
el.className = "off1";
}
}

document.onmouseover = mouseOver ;
document.onmouseout = mouseOff ;