var LeftPic_name = new Array	
("Big/CRW_5177.jpg",
"Big/CRW_5180.jpg",
"Big/CRW_5185.jpg",
"Big/CRW_5200.jpg",
"Big/CRW_5202.jpg",
"Big/CRW_5206.jpg",
"Big/CRW_5223.jpg",
"Big/CRW_5228.jpg",
"Big/CRW_5210.jpg");

var l1 = LeftPic_name.length;

var rnd1_no = Math.floor(l1*Math.random());

function cycleLeft() {
	if (document.images) {
	document.LeftPic.src = LeftPic_name[rnd1_no]
			     }
		     }