if(document.getElementById(pagina))
  document.getElementById(pagina).className='mensel'