function prendiElementoDaId(id_elemento) {
			var elemento;
			if(document.getElementById)
				elemento = document.getElementById(id_elemento);
			else
				elemento = document.all[id_elemento];
			return elemento;
		};

function assegnaXMLHttpRequest()
{
    var Ajax=null;
    if(!Ajax && typeof XMLHttpRequest != "undefined")
    {
        Ajax=new XMLHttpRequest();
    }
    if (!Ajax)
    {
        try
        {
            Ajax=new ActiveXObject("Msxml2.XMLHTTP");
        }
        catch(e)
        {
            try
            {
                Ajax=new ActiveXObject("Microsoft.XMLHTTP");
            }
            catch(oc)
            {
                Ajax=null
            }
        }
    }
    return Ajax;
}
      function Barra(nome, ref) {
        this.nome=nome;
        this.ref=ref;
        this.width=0;
        this.x=0;
        this.y=0;
        this.sottolinea=function()
         {
          clearTimeout(this.y);
          var id=this.ref;
          var mio=prendiElementoDaId(id).offsetWidth-15;
          var elemento=prendiElementoDaId("u-"+this.ref);
          this.width=elemento.offsetWidth;
          if(this.width<=mio) {this.width++; elemento.style.width=this.width+"px"; this.x=window.setTimeout(this.nome+".sottolinea()", 1/100);}
          else clearTimeout(this.x);
        }
        this.sbianca=function()
        {
          clearTimeout(this.x);
          var id="ls-"+this.ref;
          var mio=0;
          var elemento=prendiElementoDaId("u-"+this.ref);
          this.width=elemento.offsetWidth;
          if(this.width>mio) {this.width--; elemento.style.width=this.width+"px"; this.y=window.setTimeout(this.nome+".sbianca()", 1/100);}
          else clearTimeout(this.y);
        }
      }
      barra0=new Barra("barra0", "0");
      barra1=new Barra("barra1", "1");
      barra2=new Barra("barra2", "2");
      barra3=new Barra("barra3", "3");
      barra4=new Barra("barra4", "4");
      barra5=new Barra("barra5", "5");
      barra6=new Barra("barra6", "6");
      barra7=new Barra("barra7", "7");
      var attuale=12;
 
      function sizeUp(){
        if(attuale<15) {
          attuale+=1;
          prendiElementoDaId("mainbox-content").style.fontSize=attuale+"px";
        }  
      }
      function sizeDown(){
        if(attuale>10) {
          attuale-=1;
          prendiElementoDaId("mainbox-content").style.fontSize=attuale+"px";
        }  
      }