
<!--

function favoris() {

if ( navigator.appName != 'Microsoft Internet Explorer' )

{ window.sidebar.addPanel("Hotel di Porta Romana Milan","http://www.hotelportaromanamilan.com/",""); }

else { window.external.AddFavorite("http://www.hotelportaromanamilan.com/","Hotel di Porta Romana Milan"); } }

// -->