function derecha(e) 
  {
   if (navigator.appName == 'Netscape' && (e.which == 3 || e.which == 2))
    {
    alert('Bienvenidos a la Pagina Web del Ayuntamiento de Villamantilla')
    return false;
    }
   else if (navigator.appName == 'Microsoft Internet Explorer' && (event.button == 2))
    {
    alert('Bienvenidos a la Pagina Web del Ayuntamiento de Villamantilla')
    }
  }
  document.onmousedown=derecha