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