var iscroll;

function do_navigation_scroll (tinc) {
	document.getElementById('contentmain').scrollTop += tinc;
}

function navigation_scroll (tinc) {
	iscroll = setInterval('do_navigation_scroll('+tinc+');', 5);
}

function stop_navigation_scroll () {
	clearInterval(iscroll);
}