// Browserweiche 
var w3c = document.getElementById&&!document.all?1:0;
var msie = document.all?1:0;


function intro() {

 // Event-Listener fuer Doppelklick registrieren  

 if(w3c) { // DOM Level 2 kompatible Browser  
  var field = document.getElementById("dict");
  field.addEventListener("dblclick", fetchSel, true);
 }

 if(msie) { // MS Internet Explorer  
  var field = document.all.dict;
  field.ondblclick = fetchSel;
 }
}


function fetchSel() {

 // Selektierten Text in Variable speichern

 if(document.selection) {
  selected = document.selection.createRange().text;
  if(selected != "") {
   document.selection.empty();
  }
 }
 else if(window.getSelection) {
  selected = window.getSelection().toString();
  selected = selected.replace(/["!?;:,.]/g, "");
 }
 
 popup(selected);
}


function popup(selected) {

 // Deutsche Wikipedia
 var searchURL = "http://de.wikipedia.org/";
 var attr = "wiki/" + escape(selected);

 // Alternative: Deutsch-Englisches Woerterbuch
 // var searchURL = "http://dict.leo.org/";
 // var attr = "?search=" + escape(selected) + "&lang=en";

 // Parameter fuer das Popup-Fenster
 var param = "width=590,height=430";
 param += ",left=300,top=60";
 param += ",menubar=1";
 param += ",location=1";
 param += ",scrollbars=1";
 param += ",resizable=1";
 param += ",toolbar=1";
 param += ",status=0";

 if(selected != "") {
  // Popup oeffnen
  popWin = window.open(searchURL + attr,"s",param);
  // Popup in den Vordergrund schicken 
  popWin.focus();
 }
}
		// Aufruf der Uhrzeit mit setInterval, zuvor noch passende Schriftgroesse setzen
            function Clock(){
				var font_size = 2;
				var font_color = "blue";
				document.getElementById("time").style.fontSize = font_size + "em"; // window.innerWidth / 10;
                document.getElementById("time").style.color = font_color; 
                window.setInterval("UpdateClock()", 1000);
            }
            // Uhrzeit sekuendlich aktualisieren und in time (span mit ID=time) schreiben
            function UpdateClock(){
                var Datum = new Date();
/*
                var Tag = Datum.getDate();
                var Monat = Datum.getMonth() + 1;
                var Jahr = Datum.getFullYear();
*/
                var hours = Datum.getHours();
                var minutes = Datum.getMinutes();
                var seconds = Datum.getSeconds();
                
                if (minutes < 10) {
                    minutes = "0" + String(minutes); // 0 einfuegen, falls minutes < 10
                }
                if (seconds < 10) {
                    seconds = "0" + String(seconds); // 0 einfuegen, falls seconds < 10
                }				
                document.getElementById("time").innerHTML = hours + ":" + minutes + ":" + seconds;
            }


function shoh(id) { 
	
	if (document.getElementById) { // DOM3 = IE5, NS6
		if (document.getElementById(id).style.display == "none"){
			document.getElementById(id).style.display = 'block';
						
		} else {
			
			document.getElementById(id).style.display = 'none';			
		}	
	} else { 
		if (document.layers) {	
			if (document.id.display == "none"){
				document.id.display = 'block';
				
			} else {
					
				document.id.display = 'none';
			}
		} else {
			if (document.all.id.style.visibility == "none"){
				document.all.id.style.display = 'block';
			} else {
				
				document.all.id.style.display = 'none';
			}
		}
	}
}