var rotate = new Array();

rotate[1] = "_001";
rotate[2] = "_002";
rotate[3] = "_003";
rotate[4] = "_004";
rotate[5] = "_005";
rotate[6] = "_006";
rotate[7] = "_007";
rotate[8] = "_008";
rotate[9] = "_009";
rotate[10] = "_010";
rotate[11] = "_011";
rotate[12] = "_012";
rotate[13] = "_013"; 




IsPic=0;   
WechselZeit=5000;
   
function rotateimg()
{

 for(i = 1; i <= 999; i++)
{
var num = Math.random();
var PicNr = Math.floor((rotate.length - 1) * num) + 1;

if (IsPic != PicNr) i=999;
}

IsPic=PicNr;

document.imgRot.src = "../rotate/ell"+rotate[PicNr]+".jpg"	
}
PicChange = window.setInterval("rotateimg()",WechselZeit);