var image_array=["001.jpg","014.jpg","003.jpg","004.jpg","005.jpg","006.jpg","007.jpg","008.jpg","009.jpg","010.jpg","011.jpg","013.jpg"];
var i=1,interval=self.setInterval("swapbg()",3000);
function swapbg()
	{
	if(i>=image_array.length)i=0;
	document.getElementById("header").style.backgroundImage="url(banner/"+image_array[i]+")";
	i++;
	}