var max=0;
      function textlist()
      {
      max=textlist.arguments.length;
      for (i=0; i<max; i++)
      this[i]=textlist.arguments[i];
      }
      tl=new textlist
      ( 
       "\R E S I D E N C E   L A   C A R R U B A",    
       "\I l   T u o   G i a r d i n o   S u l   M a r e",
       "\A   D i a n o   M a r i n a"



      );
      var x=0; pos=0;
      var l=tl[0].length;
      function textticker()
      {
        document.tickform.tickfield.value=tl[x].substring(0,pos)+"_";
        if(pos++==l) { pos=0; setTimeout("textticker()",2500); x++;
        if(x==max) x=0; l=tl[x].length; } else
        setTimeout("textticker()",70);
      }