TRcolor = '#E7FCAA';
TRhighlightColor = '#F4FDDB';
	
function highlightTR (nr) {
	if (nr!='' && navigator.appName=="Microsoft Internet Explorer") {
		ele = eval("window.document.all.nav"+nr+".sourceIndex");
		window.document.all[ele].style.backgroundColor=TRhighlightColor;
	}
}
function resetTR (nr) {
	if (nr!='' && navigator.appName=="Microsoft Internet Explorer") {
		ele = eval("window.document.all.nav"+nr+".sourceIndex");
		window.document.all[ele].style.backgroundColor=TRcolor;
	}
}