if(document.getElementById(pagina))
  document.getElementById(pagina).className='selezione'
if(document.getElementById(pagina1))
  document.getElementById(pagina1).className='sottomenusel'
  if(document.getElementById(pagina2))
  document.getElementById(pagina2).className='sottomenusottosel'