function wechselGrafik(element,grafik) {
	document.getElementById(element).src=grafik;
}

function effektNavi(obj, klasse){
  	if (document.all || document.getElementById) {
	//	alert(obj+' = '+klasse);
		document.getElementById(obj).className = klasse;
	}
}