<!--
var pos;
var speed = 1;
var pos_initial;

function startAnim() {
var e = document.getElementById('boite');
pos_initial = e.clientHeight + 2;
pos = pos_initial;
setInterval('anim()', 50);
}
function anim() {
var e = document.getElementById('texte');
e.style.visibility = 'visible';
e.style.top = Math.floor(pos) + 'px';
pos = pos - speed;
if (pos <-e.clientHeight) pos = pos_initial;
}
window.onload = function() {
var e = document.getElementById('boite');
e.onmouseover = function() { speed = 0; };
e.onmouseout = function() { speed = 1; };
startAnim()
};
//-->