function random_img() 
{
	var myimages = new Array()
	myimages[1] = "south/vfb_0005/view1.jpg"
	myimages[2] = "scotland/vfb_0002/view1.jpg"
	myimages[3] = "south/vfb_0009/view2.jpg"
	myimages[4] = "south/vfb_0010/view2.jpg"
	myimages[5] = "java_scripts/golden_cap.jpg"
	myimages[6] = "north/vfb_0041/view3.jpg"
	myimages[7] = "north/vfb_0041/view3a.jpg"

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

	document.write('<a href="viewfromabench.php"> <img border="0" src="'+myimages[ry]+'" width="700px" height="525px" alt="view from a bench"> </a>')
}

random_img()