function headerImage()
{
	var rand_no = Math.ceil(4*Math.random());
	var newimage = "url(images/homepg/" + rand_no + ".jpg)";
	//alert (newimage);
	document.getElementById('mainpic').style.backgroundImage = newimage;
}