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