var bookmarkurl = window.location.href;
	var bookmarktitle = document.title;


    	function addfav(){
    	if (document.all) window.external.AddFavorite(bookmarkurl,bookmarktitle);
    	}