function highlightButton(s) {
		if ("INPUT"==event.srcElement.tagName)
		event.srcElement.className=s
}