/**
 * Highlights button?
 **/
function highlightButton(s,event) {
	if(event==null){
			alert("s0");
		event=window.event;
			if ("INPUT"==event.target.tagName)
				 event.target.className=s;

	}else{
			alert("s1");
		if ("INPUT"==event.srcElement.tagName)
		  event.srcElement.className=s;
	}
	


}