function info_roll(richtung)
{

if (richtung == 'up')
	{
	info_iframe.scrollBy(0, -20);
	rollen = window.setTimeout("info_roll('up')", 10); 
	}

if (richtung == 'down')
	{
	info_iframe.scrollBy(0, +20);
	rollen = window.setTimeout("info_roll('down')", 10); 
	}
    }

function stoppit () {
  	window.clearTimeout(rollen);
    }