

<!--

function random_img(){
	var rndImages=new Array()
	rndImages[1]="banner_home_1.jpg"
	rndImages[2]="banner_home_2.jpg"
	rndImages[3]="banner_home_3.jpg"
	
	var rndNum=Math.floor(Math.random()*rndImages.length)
	if (rndNum==0)
	rndNum=1
	document.write('<IMG src="images/'+rndImages[rndNum]+'" border=0>')
}
random_img();

//-->