function highlightText(s) {
    if ("A"==event.srcElement.tagName)
      event.srcElement.className=s
  }