<!--

function random_img(){
	var rndImages=new Array()
	//Removed based on new color scheme
    //rndImages[1]="5.jpg"
	rndImages[1]="1.jpg" 
	rndImages[2]="6.jpg" 
	rndImages[3]="8.jpg" 

    var rndNum=Math.floor(Math.random()*rndImages.length)
	if (rndNum==0)
	rndNum=1
	document.write('<IMG src="images/'+rndImages[rndNum]+'">')
}
random_img();

//-->