function loadRandomBg()
{
	var s, place, bg;
	var bgs = new Array(3);
	bgs[0] = "images/header001.gif";
	bgs[1] = "images/header002.gif";
	bgs[2] = "images/header003.gif";			
	rnd = Math.floor(Math.random() * 3);
	bg = bgs[rnd];
	place = document.getElementById('header');
			
	s = place.getAttribute('style');
	if (typeof s == 'string') 
	{
		place.setAttribute('style', 'background-image: url(' + bg + ');');
	}
	else if (typeof s == 'object') 
	{
		s.cssText = 'background-image: url(' + bg + ');';
	}			
}