var display=new Array(4);
var curDisplay=0;
var begin;
var imagesLoaded=0;

for(var i=0;i<4;++i){
display[i]=new Image();
display[i].src="_images/magImage0" + i + ".gif";
}

function changeDis(){
if(curDisplay==3)curDisplay=0;
else ++curDisplay;
document.animation.src=display[curDisplay].src;
}