var randomTWD = 0; 
var DoIt = 0; 
images = new Array; 
images[1] = new Image(); 
images[1].src = "../../images/ani-1.gif"; 
images[2] = new Image(); 
images[2].src = "../../images/ani-2.gif"; 
images[3] = new Image(); 
images[3].src = "../../images/ani-3.gif"; 
images[4] = new Image(); 
images[4].src = "../../images/ani-4.gif"; 
images[5] = new Image();
images[5].src = "../../images/ani-1.gif"; 
function TWDpics() { 
var imgnum = images.length - 1; 
do { 
var randnum = Math.random(); 
randomTWD = Math.round((imgnum - 1) * randnum) + 1; 
} while (randomTWD == DoIt); 
DoIt = randomTWD; 
document.imageholder.src = images[DoIt].src; 
}