function favoritos(url,descripcion) {
   if (navigator.appName.indexOf('Microsoft') != -1) {
      window.external.AddFavorite(url,descripcion);
   }
   else alert('This option is only available for Internet Explorer users.\nIf you wish to add this site to your bookmarks, press Ctrl + D.');
}