var highlight_berid = 0;

function highlight(berid) {
	unhighlight();
	img = $('img'+berid);
	element = $('element'+berid);
	element.onmouseout = unhighlight;
	img.src='bilder/point_on.gif';
	highlight_berid = berid;
}

function unhighlight() {
	if (highlight_berid != 0) {
		img = $('img'+highlight_berid);
		element = $('element'+highlight_berid);
		element.onmouseout = "";
		if (!element.hasClassName('aktiv')) img.src='bilder/point.gif';
		highlight_berid = 0;
	}
}