var rand1 = 0;
	var useRand = 0;
	var ImageLoc = "/sw/themes/11481/site_images/";
	images = new Array;
	images[1] = new Image();
	images[1].src = ImageLoc + "banner5.jpg";
	images[2] = new Image();
	images[2].src = ImageLoc + "banner6.jpg";
	images[3] = new Image();
	images[3].src = ImageLoc + "banner7.jpg";
	images[4] = new Image();
	images[4].src = ImageLoc + "banner8.jpg";

function swapPic() 
{
	var imgnum = images.length - 1;
	do 
	{
		var randnum = Math.random();
		rand1 = Math.round((imgnum - 1) * randnum) + 1;
	} 
	while (rand1 == useRand);
	useRand = rand1;
	document.randimg.src = images[useRand].src;
}



/*<img src="images/blank.gif" name="randimg" height="228" width="778">*/