function ChangeColor(tableRow,highLight){if(highLight){tableRow.style.backgroundColor='#FFB951';tableRow.style.cursor='hand';tableRow.style.cursor='pointer';}else{tableRow.style.backgroundColor='#FFFFFF';}};function DoNav(theUrl){document.location.href=theUrl;}<!--