//<!--
var a = '#99CCFF'
var b = '#008080'
var c

function Mouse(t,c){
   if (c == 1) {
      t.bgColor=a
      //document.getElementById("brillen").style.backgroundColor=b
   }else{
      t.bgColor=b
      //document.getElementById("brillen").style.backgroundColor=a
   }
}

function drucken(){
   if(navigator.AppVersion <=4){
      alert("Ihr Browser unterstützt das Drucken nicht direkt. Bitte benutzen Sie zum Drucken Ihre Buttonleiste.");
   }else{
      window.print();
    //Optionale Verzögerung und back auf vorherige Seite 
    //(Wenn extra auf eine formatierte Seite zum Drucken gelandet) 
    //setTimeout("history.go(-1)",1000);
   }   
}
//-->