function showHighlightedTr() {
	reptxt="<tr class=\"showHighlightedTr\" ONMOUSEOVER=\"this.style.backgroundColor='WHITESMOKE'; return true;\" ONMOUSEOUT=\"this.style.backgroundColor=''; return true;\"";
	document.body.innerHTML=document.body.innerHTML.replace(/<tr class="showHighlightedTr"/gi, reptxt);
	document.body.innerHTML=document.body.innerHTML.replace(/<tr class=showHighlightedTr/gi, reptxt);
}