function changeto(highlightcolor)
  {  
     source=window.event.srcElement
     if (source.tagName=="TR"||source.tagName=="TABLE")
     return
     while(source.tagName!="TD")
     source=source.parentElement
     if (source.style.backgroundColor!=highlightcolor&&source.id!="ignore")
     source.style.backgroundColor=highlightcolor
  }

function changeback(originalcolor)
  {
    if (window.event.fromElement.contains(window.event.toElement)||source.contains(window.event.toElement)||source.id=="ignore")
    return
    if (window.event.toElement!=source)
    source.style.backgroundColor=originalcolor
  }