var tickerTimer = null;

function doTicker() {
	var ticker = document.getElementById("ticker_tape");
	var top = parseInt(ticker.offsetTop, 10) - 1;
	if (top < -ticker.offsetHeight) {
		top = 120;
	}
	ticker.style.top = top + "px";
	tickerTimer = setTimeout("doTicker();", 100);
}

page.add(doTicker);