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

}