//************infobox*************************


var velocita=1 ;
var oScrollAltezza=''
var oScroll
function definisci_infobox(){
 
       oScroll=document.getElementById("screen_txt");
                                                                               
        oScrollAltezza=oScroll.offsetHeight //read only property
        
        

    pippo=setInterval("scrolla()",80)
    }
window.onload = definisci_infobox; 

function scrolla(){
    if (oScroll){
        if (parseInt(oScroll.style.top)>(oScrollAltezza*(-1))) 
            oScroll.style.top=parseInt(oScroll.style.top)-velocita+"px"
        else
        oScroll.style.top= "80px" //altezza box...
    }
}