var theImages = new Array() 

theImages[0] = 'images/banner1.jpg'
theImages[1] = 'images/banner2.jpg'
theImages[2] = 'images/banner3.jpg'
theImages[3] = 'images/banner4.jpg'


var j = 0
var p = theImages.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages[i]
}
var whichImage = Math.round(Math.random()*(p-1));
function showImage(){
document.write('<div>');
document.write('<img src="'+theImages[whichImage]+'">');
document.write('</div>');
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function toggleVisible(elementid)
{
	tmpID = document.getElementById(elementid);
	tmpID.style.display = tmpID.style.display == "none" ? "block" : "none";
}