//change the scrollers width (in pixels) 
var scrollerwidth=150 //change the scrollers height var scrollerheight=100 //change 
the scrollers scroll speed (larger is faster) 
var speed=3 //change the scrollers 
contents 
var scrollercontents='<font face="Arial" color="black" 
size="5"><b>DocuLex, Inc. scroller</b></font>' 
if (document.all) 
document.write('<marquee direction="up" scrollAmount='+speed+' 
style="width:'+scrollerwidth+';height:'+scrollerheight+'">'+scrollercontents+'</marquee>') 
function regenerate(){ window.location.reload() } function regenerate2(){ if (document.layers){ 
setTimeout("window.onresize=regenerate",450) intializescroller() } } 
function intializescroller(){ document.vscroller01.document.vscroller02.document.write(scrollercontents) 
document.vscroller01.document.vscroller02.document.close() thelength=document.vscroller01.document.vscroller02.document.height 
scrollit() } function scrollit(){ if (document.vscroller01.document.vscroller02.top>=thelength*(-1)){ 
document.vscroller01.document.vscroller02.top-=speed setTimeout("scrollit()",100) 
} else{ document.vscroller01.document.vscroller02.top=scrollerheight scrollit() 
} }