function redir(pagina,extra) {
  window.location.href=pagina + extra;
}