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