function highlightButton(s) 
{
	if(document.all) 
		event.srcElement.className=s
}