function bookmark(desc, url) {
  var url = document.location.href;
  var desc = document.getElementsByTagName("title")[0].innerHTML;
  if (document.all) {
    window.external.AddFavorite(url, "Ragdoll Cannon"); }
  else if (window.sidebar) {
    window.sidebar.addPanel("Ragdoll Cannon", url, "") }
}