/*! \file addtofav.js
*/


/*!
  Add to favorites.
*/
function favoritos (pagina, titulo) {

  if(document.all){
    window.external.AddFavorite (pagina, titulo);
  } else {
    window.sidebar.addPanel (titulo, pagina, "");
  }

}