x=0;
var nr = new Array ();

nr[0] = new Image(); nr[0].src = "tools/player/src/cd0.GIF";
nr[1] = new Image(); nr[1].src = "tools/player/src/cd1.GIF";
nr[2] = new Image(); nr[2].src = "tools/player/src/cd2.GIF";
function cd_rotieren() {
 if(x>2) x=0;
 document.images["player"].src=nr[x].src;
 x++;
 window.setTimeout('cd_rotieren()',200);
}
window.setTimeout('cd_rotieren()',200);