<!--

function progressBar() {
	var repetitions = setTimeout('progressBar()', 300) -1;
	if (repetitions > 4) {
		clearTimeout('repetitions');
		history.go(0);
	}
	
	document.getElementById('progress').style.width = repetitions*179.6 + "px";
	document.getElementById('progress').style.height = ".5em";
	
}

//-->