var isDom = document.getElementsByTagName
if (navigator.appVersion.indexOf ("MSIE 5") > -1 && navigator.platform.indexOf ("Mac") > -1) isDom = 0
var navBar = new Object
function flip (link) {
if (!isDom) return
row = link.parentNode.parentNode
if (row.nodeName == "TD") row = row.parentNode
if (row.className.indexOf ("Highlight") == -1) row.className += "Highlight" 
else row.className = row.className.substr (0, row.className.length - 9)
}