english_off = new Image();
english_off.src = "images/splash/english_off.gif";
english_on = new Image();
english_on.src = "images/splash/english_on.gif";

german_off = new Image();
german_off.src = "images/splash/german_off.gif";
german_on = new Image();
german_on.src = "images/splash/german_on.gif";

function Bildwechsel(Id,Bild) {
 document.getElementById(Id).src = Bild.src;
}

if (navigator.platform=='MacPPC' && navigator.appName=='Microsoft Internet Explorer') {
  document.write("<link rel='stylesheet' href=\"../misc/macie.css\"></link>");
}