// JavaScript Document

function myScroll(idToScroll, speed) {
	if (idToScroll == null) {
		clearTimeout(scrollTimer);
	}
	else {
		var hauteur = document.getElementById(idToScroll).scrollTop;
		document.getElementById(idToScroll).scrollTop = hauteur + speed;
		scrollTimer = setTimeout("myScroll('"+idToScroll+"', "+speed+")", 25);
	}
}