function random_img() 
{
	var myimages = new Array()
	myimages[1] = "random_views/vfb_bench.jpg"
	myimages[2] = "random_views/vfb_bench1.jpg"
	myimages[3] = "random_views/vfb_bench2.jpg"
	myimages[4] = "random_views/vfb_bench3.jpg"
	myimages[5] = "random_views/vfb_bench4.jpg"
	myimages[6] = "random_views/vfb_bench5.jpg"
        myimages[7] = "random_views/vfb_bench6.jpg"


	var ry = Math.floor(Math.random() *myimages.length)
	if (ry==0)
	ry=1

	document.write('<img src="'+myimages[ry]+'" width="210px" height="130px" alt="view from a bench">')
}

random_img()