
<!-- Start

var bookmarkurl="http://www.hyperlex.it"
var bookmarktitle="Hyperlex.it"
function addbookmark(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}
//  End -->