function rotation(){
ArrBilder = new Array ("fileadmin/img/home0.jpg","fileadmin/img/home1.jpg","fileadmin/img/home2.jpg");
var anzbilder = ArrBilder.length;
var bildnr = parseInt(Math.random()*anzbilder);
window.document.Rotation.src = ArrBilder[bildnr];
}