var bildzahl=5;
var bildnr=0;
var banner=new Array();

for (i=0;i<bildzahl;i++) {banner[i]=new Image();}

banner[0].src="/layouts/krohne/grafiken/logo.jpg";
banner[1].src="/layouts/krohne/grafiken/logo-e.jpg";
banner[2].src="/layouts/krohne/grafiken/design13a0.jpg";
banner[3].src="/layouts/krohne/grafiken/0design13.gif";
banner[4].src="/layouts/krohne/grafiken/design13.gif";


function wechsel() {

var rand=Math.round(Math.random()*banner.length);

bildnr=rand;
document.ban.src=banner[bildnr].src;
}