function bookmark(anchor)
{if(window.external)
{window.external.AddFavorite(anchor.getAttribute('href'), anchor.getAttribute('title'));
return false;} return true;}