Normal1 = new Image();
Normal1.src = "../fileadmin/images/profil_low.gif";   
Highlight1 = new Image();
Highlight1.src = "../fileadmin/images/profil_high.gif";

Normal2 = new Image();
Normal2.src = "fileadmin/images/systeme_low.gif";   
Highlight2 = new Image();
Highlight2.src = "fileadmin/images/systeme_high.gif";

Normal3 = new Image();
Normal3.src = "fileadmin/images/services_low.gif"; 
Highlight3 = new Image();
Highlight3.src = "fileadmin/images/services_high.gif";

Normal4 = new Image();
Normal4.src = "fileadmin/images/kontakt_low.gif";   
Highlight4 = new Image();
Highlight4.src = "fileadmin/images/kontakt_high.gif";

function Bildwechsel (Bildnr, Bildobjekt) {
  window.document.images[Bildnr].src = Bildobjekt.src;
}


today=new Date();
jran=today.getTime();
var anzahl = 9;     // Anzahl der Bilder
var random_number="";
var image="";
var text_color="";
ia=9301;
ic=49297;
im=233280;
jran = (jran*ia+ic) % im;

random_number = Math.ceil( (jran/(im*1.0)) * anzahl);

function zufallsbild() {
document.write("<img src='fileadmin/images/image_" + random_number + ".jpg' width='543' height='75' border='0' alt='Headimage'><br><br>")
return
}