// JavaScript Document
var scrollDiv = 'news_scroll';  // div con el contenido a scrollear (id)
    var scrollVel = 1;      // tama~no del salto en (px)
    var scrollTim = 40;     // frecuencia del salto (ms)
    var scrollSep = 100;    // separaci'on entre un bloque y otro (px)
    
    // locales
    var scrollTop = 0;
    var timerID;
    var scrollHeight;
    var scrollError;
    
    // actualiza el scroll
    function scroll_update() {
        var el = document.getElementById(scrollDiv);
        
        scrollTop -= scrollVel;
        
        // loop?
        if (scrollTop <= -( scrollHeight + scrollSep) ) {
            // tiene en cuenta el error
            scrollTop = -scrollError+scrollVel;
        }
        
        el.style.top = scrollTop + 'px';
        
    }
    // on mouse over
    function scroll_over () {
        if (timerID) clearInterval(timerID);
        timerID = 0;
    }
    
    // on mouse out
    function scroll_out () {
        if (!timerID) timerID = setInterval("scroll_update()", scrollTim);
    }
    
    // on load
    function inicializar () {
        var el = document.getElementById(scrollDiv);
        
        // set events
        el.onmouseover = scroll_over;
        el.onmouseout = scroll_out;
        
        // set globals
        scrollHeight = getElementHeight(el);
        scrollError = (scrollHeight + scrollSep) % scrollVel;
        
        // duplica el contenido y lo separa en scrollSep pxs
        el.innerHTML = el.innerHTML + '<div style="height: '+scrollSep+'px;"></div>' + el.innerHTML;
        
        // inicia el timer...
        timerID = setInterval("scroll_update()", scrollTim);
    }
    
    // aux, obtiene la altura en px del elemento
    function getElementHeight(Elem) {
    		return Elem.offsetHeight;
    }