var bookmarkurl = window.location.href;
    	var bookmarktitle = document.title;
    	function addfav(){
    	if (document.all) window.external.AddFavorite(bookmarkurl,bookmarktitle);
    	}