var randomHOME = 0;
var DoIt = 0;
images = new Array;
images[1] = new Image();
images[1].src = "images/slide01.jpg";
images[1].title = "Infosoft";
images[2] = new Image();
images[2].src = "images/slide02.jpg";
images[2].title = "Infosoft";
images[3] = new Image();
images[3].src = "images/slide03.jpg";
images[3].title = "Infosoft";
images[4] = new Image();
images[4].src = "images/slide04.jpg";
images[4].title = "Infosoft";
images[5] = new Image();
images[5].src = "images/slide05.jpg";
images[5].title = "Infosoft";
images[6] = new Image();
images[6].src = "images/slide06.jpg";
images[6].title = "Infosoft";
function HOMEpics() {
var imgnum = images.length - 1;
do {
var randnum = Math.random();
randomHOME = Math.round((imgnum - 1) * randnum) + 1;
} while (randomHOME == DoIt);
DoIt = randomHOME;
document.ImageHolder.src = images[DoIt].src;
document.ImageHolder.title = images[DoIt].title;
}