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