function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
}