isNN4 = document.layers;
isDOM = document.getElementById;

if(navigator.appVersion.indexOf("Win")!= -1) {
	// Für Firefox zusätzliches Stylesheet laden
	if (navigator.appVersion.substring(0,1) == "5") {
			document.write("<link rel='stylesheet' type='text/css' href='./style/firefox.css'>");
			//alert ("Habe Firefox 5");
			}
}

function printing() {
  if (isDOM) { // IE5
	//factory.printing.header = "www.geschichte-lehrbuch.de – Oldenbourg Lehrbuch-Prospekt"
	//factory.printing.portrait = true
	window.self.focus();
	window.self.print();
	}

else {
  if (isNN4) // NN4
	{
	window.self.focus();
	window.self.print();
	}

else // other browsers
    alert("Leider unterstützt Ihr Browser diese Funktion nicht. Bitte drucken Sie die gewünschte Seite mit der Funktion des Browsers.");
	}

} // Ende Funktion


// Navigationsmenü steuern
function menue(x) {
if (document.getElementById(x + "div").style.display == "none") {
		switch (x) {
  			case "edg1":
   			 	document.getElementById("edg1div").style.display = "block";
   			 	document.getElementById("edg2div").style.display = "none";
   			 	document.getElementById("edg3div").style.display = "none";
   			 	break;
  			case "edg2":
   			 	document.getElementById("edg1div").style.display = "none";
   			 	document.getElementById("edg2div").style.display = "block";
   			 	document.getElementById("edg3div").style.display = "none";
   			 	break;
 			case "edg3":
   			 	document.getElementById("edg1div").style.display = "none";
   			 	document.getElementById("edg2div").style.display = "none";
   			 	document.getElementById("edg3div").style.display = "block";
     			break;
  			default:
				document.getElementById(x + "div").style.display = "block";
				break;
			}
		}
else {
	document.getElementById(x + "div").style.display = "none";
	//alert ("ID: setze none");
	}

}


// Zum Abspielen der Audio-Dateien
function play(datei){
	window.frames[0].location.href = "player?file=/verlag/lehrbuch-geschichte/interviews/" + datei;
	}
	
function Sound1(){
	alert ("Spiele sound");
	document.sound1.play(); 
}