function bookmark(){
window.external.AddFavorite(window.location.href, document.title);
}