// Banner scroller

var Banner_Width = document.getElementById('banner-message1').offsetWidth;
var Msg_Left = 0;
var Msg_Timer = window.setInterval("scrollBanner()",30);

function scrollBanner()
{
     --Msg_Left;
     if (Msg_Left < -Banner_Width)
       Msg_Left = 0; 
        document.getElementById('banner-message').style.left = Msg_Left + "px";

}