var bookmarkurl="http://www.witze-witzbold.de"
var bookmarktitle="Witze-Witzbold.de. - Witze und Spass"
function addbookmark(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}