// JavaScript Document

arr_img=new Array();
arr_img[0]='spacer.gif';
arr_img[1]='spacer.gif';
arr_img[2]='spacer.gif';
arr_img[3]='spacer.gif';

function randomBkg() {
	var str_img = "images/"+arr_img[Math.round(Math.random()*3)];
	document.getElementById("mainImage").setAttribute("src", str_img);
		}