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