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