function highlightButton(newFace, event) {
 if (!event) { event = window.event }
 if (!event.srcElement) { event.srcElement = event.target }
 if (event.srcElement && event.srcElement.tagName == "INPUT")
	event.srcElement.className = newFace 
}