// JavaScript Document
<!--
function bildwechsler () {
header = new Array;
header[1] = "header_bow.jpg";
header[2] = "header_hab_sunrise_twist.jpg";
header[3] = "header_tsr.jpg";
header[4] = "header_yukon.jpg";

anzahl = 4;
zufall = Math.random();
zufall = Math.round((anzahl-1)*zufall)+1;

imagestring = "_pic/header/" + header[zufall];

document.getElementById('head').src = imagestring;
}
  //-->