function randomizeBackground()
{
	// maximum number of images
	var max = 3;
	if (document.getElementById)
	{
		document.getElementById('PageHeader').className += 'random' + (Math.floor(Math.random() * max) + 1);
	}
}
// set this function to run when the document loads
try { if (window.attachEvent) window.attachEvent('onload', randomizeBackground); else if (window.addEventListener) window.addEventListener('load', randomizeBackground); } catch(e) { if (document.addEventListener) document.addEventListener("DOMContentLoaded", randomizeBackground, false); }