var randomTWD = 0;
var DoIt = 0;
images = new Array;
images[1] = new Image();
images[1].src = "/museum/images/banners/main-1.jpg";
images[2] = new Image();
images[2].src = "/museum/images/banners/main-2.jpg";
images[3] = new Image();
images[3].src = "/museum/images/banners/main-education.jpg";
images[4] = new Image();
images[4].src = "/museum/images/banners/main-events.jpg";
images[5] = new Image();
images[5].src = "/museum/images/banners/main-info.jpg";
images[6] = new Image();
images[6].src = "/museum/images/banners/main-store.jpg";
images[7] = new Image();
images[7].src = "/museum/images/banners/main-support.jpg";
images[8] = new Image();
images[8].src = "/museum/images/banners/main-children.jpg";
images[9] = new Image();
images[9].src = "/museum/images/banners/main-afn.jpg";
images[10] = new Image();
images[10].src = "/museum/images/banners/main-bear.jpg";
images[11] = new Image();
images[11].src = "/museum/images/banners/main-kids.jpg";



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;
}