// JavaScript Document
function randomimageid()
	{
	var img_name = new Array("images/banner1.jpg", "images/banner2.jpg","images/banner3.jpg", "images/banner4.jpg");
	var l = img_name.length;
	var rnd_no = Math.floor(l*Math.random());
	document.getElementById("randombanner").src = img_name[rnd_no];
	}