function randImg()
{
	try
	{
		var randImgSrc = "random_"+(Math.floor(Math.random()*20)+1)+".jpg";
		document.getElementById("banner").innerHTML="<img src='/webdata/graphics/"+randImgSrc+"'/>";
	}
	catch(e) { }
}