function bookmark(adr,titel){
if (document.all)
window.external.AddFavorite(adr,titel)
}