//configure the two variables below to match yoursite's own info
var bookmarkurl="http://www.hotel-termini.com/index.html"
var bookmarktitle="Hotel Roma"

function addbookmark(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}