var startleft = 715;
var marquee;
var minleft;
var left = startleft;

function marqueeinit() {
	marquee = document.getElementById('marquee');
	marquee.style.whiteSpace = 'nowrap';
	minleft = (-1) * marquee.firstChild.nodeValue.length * 12.5;
	setInterval('scroll()', 20);
}

function scroll() {
	if (left < minleft) left = startleft;
	marquee.style.left = left + 'px';
	left = left - 3;
}

//make sure a previous window.onload is not overwritten
if (window.onload) {
	var maprevinit = window.onload;
	window.onload = function() {
		maprevinit();
		marqueeinit();
	}
}
else window.onload = marqueeinit;