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