var pos;
var pause = false;

function populate(){
	pos = document.getElementById('ticker').offsetWidth;
	lefttime=setInterval("scrollmarquee()",20);
}
window.onload=populate

function scrollmarquee(){
	if (pause == false) pos = pos - 1;
	if (pos < (document.getElementById('tickercontent').offsetWidth * (-1))) pos = document.getElementById('ticker').offsetWidth;
	document.getElementById('tickercontent').style.left = pos + 'px';
}

function writeTicker() {
	document.getElementById('ticker').innerHTML = '<div id="tickercontent" onmouseover="pause=true;" onmouseout="pause=false;"><nobr>' + content + '</nobr></div>';
}