var title_images=new Array();
title_images[0]="/pics/title/surf.jpg";
title_images[1]="/pics/title/pier.jpg";
title_images[2]="/pics/title/rock.jpg";
title_images[3]="/pics/title/santa-monica-beach.jpg";

function randomimage() 
{
	var i=Math.floor(Math.random()*title_images.length);
	document.getElementById("random").src=title_images[i];
}
onload=randomimage;