function preferiti(){
var url=location.href; // indirizzo pagina
var titolo="Catalogo online"; // nome della pagina (cosė come viene memorizzato in Preferiti
if (document.all) {
window.external.AddFavorite(url,titolo);
}
}