if(document.getElementById(pagina))
  document.getElementById(pagina).className='seleziona'
if(document.getElementById(pagina1))
  document.getElementById(pagina1).className='selezionas'
  if(document.getElementById(pagina2))
  document.getElementById(pagina2).className='selezionass'