
function startScrolling(div) {
	div.currentPos = div.offsetTop;
	div.running = true;
	window.setInterval("scroll('" + div.id + "')", 50);
}

function scrollMouseOut(div) {
	div.running = true;
}

function scrollMouseOver(div) {
	div.running = false;
}

function stopScrolling(div) {
	
}

function scroll(divid) {
	var div = document.getElementById(divid);
	if(div.running) {
		if(div.currentPos + div.offsetHeight < 1)
			div.currentPos = div.offsetParent.offsetHeight;
		else
			div.currentPos--;
		
		div.style.top = div.currentPos + 'px';
	}
}