function HighlightTR() {
	ids = String(document.location).split("#")[1];
	if (typeof(ids) != 'undefined') {
		if (document.getElementById("id_" + ids) != null) {
			document.getElementById("id_" + ids).className = "highlight";
		}
	}
}