function high(which2){
theobject=which2
highlighting=setInterval("highlightit(theobject)",10)
}

function low(which2){
clearInterval(highlighting)
which2.filters.alpha.opacity=60
}



function highlightit(cur2){
if (cur2.filters.alpha.opacity<100)
cur2.filters.alpha.opacity=100
else if (window.highlighting)
clearInterval(highlighting)
}


function hiddtex(id)
{
var dys=document.getElementById(id);
if (dys.style.display=="block")
 {
dys.style.display="none";
 }
else
 {
dys.style.display="block";
 }
}