/********************************************* MouseOver-Funktion ************************************************/

function wechsel(quelle,bild) {
   document.images[bild].src=quelle;
}
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////



/************************************************** Dia-Show *****************************************************/
function diashow(){
	
	var a = Math.round(4*Math.random());
	dia = "pix/banner/Banner"+a+".jpg";
	window.document.images[1].src=dia;//[a]
	//alert (dia);
	window.setTimeout ('diashow ()' , 6000)
}
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////