// show/hide legend on icon-rollover
function showLegend(legend) {
	document.getElementById("legende").innerHTML = legend + " «";
}

function hideLegend() {
	document.getElementById("legende").innerHTML = "";
}

//rollover - id
function do_over(id) {
	document.getElementById(id).src = "/_gfx/" + id + "_on.gif";
}

function do_restore(id) {
	document.getElementById(id).src = "/_gfx/" + id + ".gif";
}

var strClassPrev = null;
		
function hilite(objTR) {
	strClassPrev = objTR.className;
	objTR.className = "hilite";
}

function unhilite(objTR) {
	objTR.className = strClassPrev;
}