var LeftPic_name = new Array	
("Big/CRW_7354.jpg",
"Big/CRW_7338.jpg",
"Big/CRW_7336.jpg",
"Big/CRW_7341.jpg",
"Big/CRW_7347.jpg",
"Big/CRW_7355.jpg",
"Big/CRW_7357.jpg",
"Big/CRW_7415.jpg",
"Big/CRW_7482.jpg",
"Big/CRW_7508.jpg",
"Big/CRW_7511.jpg",
"Big/CRW_7408.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]
			     }
		     }