// JavaScript Document
pos = 0;
function ScrollMessage() {
   var newtext = scrolling_msg.substring(pos, scrolling_msg.length) + scrolling_msg.substring(0, pos);
   var div = document.getElementById("scorrevole");
   div.firstChild.nodeValue = newtext;
   pos++;
   if (pos > scrolling_msg.length) pos = 0;
   window.setTimeout("ScrollMessage()", scrolling_delay);
}