// EDIT if you want to

var pause = 40;				// time between scroll-steps in milliseconds
var schritt = 1;			// step-with of single scroll in pixel
var ausgleich = -400;	// number of pixels to optimize the finish of scrolling

// DO NOT EDIT if you are not absolutely shure

var y = 0;
var ende = 0;
var TickerWindow;
var HoeheViewport;


function init ()
{
	// pointer to ticker-window
	TickerWindow = document.getElementById('ticker');

	// hide scrollbars in ticker-window
	TickerWindow.style.overflow = 'hidden';

	// height of ticker-window or cancel
	if (document.getElementById)
		HoeheViewport = parseInt(TickerWindow.style.height);
	else
		return;

	// maximum scroll-value for nice restart
	ende = document.getElementById('post').offsetTop + ausgleich;

	scroll ();
}


function scroll ()
{

	if (y < ende)
	{
		y += schritt;
		TickerWindow.scrollTop = y;
	}
	else
	{
		y = 0;
		TickerWindow.scrollTop = 0;
	}

	// for debugging
	// window.status = y + ' ' + HoeheViewport;

	setTimeout('scroll()', pause);
}