// JavaScript Document
var bookmarkurl= window.location;
var bookmarktitle=document.title;
function addbookmark(){
if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}