if(document.getElementById(generale))
  document.getElementById(generale).className='active'
//if(document.getElementById(sotto))
  //document.getElementById(sotto).className='active2'
//if(document.getElementById(numerico))
 // document.getElementById(numerico).src='/img/'+numerico+'_roll.gif'