// loads one of the random header backgrounds
var bg_count=3;

function loadHeaderBg() {
	if (document.getElementById('top')) {
		var ran_number = Math.floor(Math.random()*bg_count) + 1;
		document.getElementById('top').className = "top header" + ran_number;
	}
}