var inframe=1;
var sound;
var naviinhalt;
function soundCheck(onoff){
naviinhalt = document.getElementById("navigation").innerHTML;
if(onoff == "off"){
while(naviinhalt.search(/index.html+/) > -1){
naviinhalt = naviinhalt.replace(/index.html+/, "index1.html");
}
	if(document.Form && document.Form.soundoff){
		document.Form.soundoff.value="1";
	}
}else{
while(naviinhalt.search(/index1.html+/) > -1){
naviinhalt = naviinhalt.replace(/index1.html+/, "index.html");
}
if(document.Form && document.Form.soundoff){
		document.Form.soundoff.value="0";
	}
}
document.getElementById("navigation").innerHTML = naviinhalt;
}