function register_bookmark() {
 window.external.addFavorite(
  location.href,
  bookmark_title
 );
}
function draw_add_bookmark_if_ie() {
 if (document.all && navigator.userAgent.indexOf("Mac") == -1) {
  document.write("<div class=\"select_link\"><a href=\"javascript:register_bookmark();\">"+bookmark_link_text+"</a></div>");
 }
}