<!--
function highlight(which,color){
if (document.all||document.getElementById)
which.style.backgroundColor=color
}
// -->