timeoutid = 0;

function scrollstop()
{
	clearTimeout(timeoutid);
}

function scrolldown(deltascroll)
{
	oDiv.scrollTop=oDiv.scrollTop+deltascroll;
	timeoutid = setTimeout("scrolldown("+deltascroll+")",5);
}

function scrollup(deltascroll)
{
	oDiv.scrollTop=oDiv.scrollTop-deltascroll;
	timeoutid = setTimeout("scrollup("+deltascroll+")",5);
}

function replay_anim()
{
	if( document.images )
	{
		if( document.images.animation )
		{
			document.images.animation.src=document.images.animation.src;
		}
	}
}