function highlight(which,color) {if (document.all||document.getElementById) which.style.backgroundColor=color}