<!--
var rootdir="";
function showImage(){
	var theImages = new Array(); 
	
	theImages[0] = rootdir+'/images/banner/banner_1.jpg';
	theImages[1] = rootdir+'/images/banner/banner_2.jpg';
	theImages[2] = rootdir+'/images/banner/banner_3.jpg';
	theImages[3] = rootdir+'/images/banner/banner_4.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));

	document.write('<img src="'+theImages[whichImage]+'">');
}
//-->
