var first;
var old1;

function changeto(){
  highlightcolor="#ffffdd"
  source=event.srcElement
  if (source.tagName=="TABLE")
  return
  while(source.tagName!="TR")
  source=source.parentElement
  if (source==first) return
  if (source.style.backgroundColor!=highlightcolor&&source.id!="ignore")
  old=source.style.backgroundColor
  source.style.backgroundColor=highlightcolor
}

function changeback(originalcolor){
  if (event.fromElement.contains(event.toElement)||source.contains(event.toElement)||source.id=="ignore")
  return
  if (event.toElement!=source&&source!=first)
  source.style.backgroundColor=old
}
function switchto(){
  highcolor="#c2e0ff"
  srce=event.srcElement
  if (srce.tagName=="TABLE")
  return
  while(srce.tagName!="TR")
  srce=srce.parentElement
  if (srce.style.backgroundColor!=highcolor&&srce.id!="ignore")
  old1=old
  first=srce
  srce.style.backgroundColor=highcolor
}

function switchback(){
  if (!first) return
  first.style.backgroundColor=old1
}