var cadence=1
var marge="100px"

function defil(){
	if (parseInt(cont.style.top) > -posDep ) 
	cont.style.top = parseInt(cont.style.top)-cadence+"px"
	else cont.style.top=parseInt(marge)+"px"
}
function init_defil(){
	cont=document.getElementById("info");
	div=document.getElementById("defil");
	div.onmouseover=function(){temp=cadence;cadence=0};
	div.onmouseout=function(){cadence=temp};div.style.height=marge;
	posDep=cont.offsetHeight;
	with(cont.style){position="absolute";top=marge;}
	setInterval("defil();",50);
}