<!--function changeto(highlightcolor){source=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 (event.fromElement.contains(event.toElement)||source.contains(event.toElement)||source.id=="ignore")returnif (event.toElement!=source)source.style.backgroundColor=originalcolor}// -->