//highlight.js

var timeoutID = -1;
function high(which2) {
if(timeoutID != -1)
clearTimeout(timeoutID);
theobject=which2;
highlightit(theobject);
}
function low(which2) {
if(timeoutID != -1)
clearTimeout(timeoutID);
theobject=which2;
lowlightit(theobject);
}
function lowlightit(cur2){
timeoutID=setTimeout("lowlightit(theobject)",50);
if (cur2.style.MozOpacity>0)
cur2.style.MozOpacity=parseFloat(cur2.style.MozOpacity)-0.1;
else if (cur2.filters&&cur2.filters.alpha.opacity>70)
cur2.filters.alpha.opacity-=20;
else if (window.highlighting)
clearInterval(lowlighting);
}
function highlightit(cur2){
timeoutID=setTimeout("highlightit(theobject)",50);
if (cur2.style.MozOpacity<1)
cur2.style.MozOpacity=parseFloat(cur2.style.MozOpacity)+0.1;
else if (cur2.filters&&cur2.filters.alpha.opacity<100)
cur2.filters.alpha.opacity+=20;
else if (window.highlighting)
clearInterval(highlighting);
}