if (document.getElementById) 
{ 
	window.onload = swap 
};

function swap() 
{
	var numimages=16;
	x=(Math.floor(Math.random()*numimages)) + 1;
	document.getElementById("banner").style.backgroundImage = "url(images/headers/head_" + x + ".jpg)"; 
}