<!--//
var clicked = "";
function bildclick(bild) {
	if(clicked != ""){
    	document.images[clicked].src = "images/nav_" + clicked + "_off.gif";
    }
	document.images[bild].src = "images/nav_" + bild + "_on.gif";
	clicked = bild;
}
function bildover(bild) {
	document.images[bild].src = "images/nav_" + bild + "_on.gif";
}
function bildout(bild) {
	if(clicked != bild){
    	document.images[bild].src = "images/nav_" + bild + "_off.gif";
	}
}
//-->