if(document.getElementById(pagina))
  document.getElementById(pagina).className='selezionato'
if(document.getElementById(paginalin))
  document.getElementById(paginalin).src='img/roll/x_roll.gif'
  if(document.getElementById(paginamen))
  document.getElementById(paginamen).className='selezionatomen'
if(document.getElementById(paginamens))
  document.getElementById(paginamens).src='img/roll/x_roll.gif'