function bannerImage()
{
	var num = randRange(0,3);
	document.getElementById("manbannerImg").src = "./manbanner/manbanner"+num+".gif";
	setTimeout("bannerImage()",20000);
}