images = new Array(4);

images[0] = "<div id='index-mininav-wrap'>";

images[1] = "<div id='index-mininav-wrap2'>";

images[2] = "<div id='index-mininav-wrap3'>";

images[3] = "<div id='index-mininav-wrap4'>";

images[4] = "<div id='index-mininav-wrap5'>";

index = Math.floor(Math.random() * images.length);

document.write(images[index]);