function zufall() {
var zufall = Math.round(Math.random()*100) % 8; //Die letzte Zahl die ist Anzahl der Bannergrafiken
//Erstes Bild im HTML wird manipuliert. 
document.images[0].src = "img/banner/banner"+zufall+".jpg";
}