function FirefoxPlugin() {
  if ((typeof window.sidebar == "object") && (typeof window.sidebar.addSearchEngine == "function")){
    window.sidebar.addSearchEngine( "http://www.bookmark24.net/plugin/search.src", "http://www.bookmark24.net/images/bmark.gif", "Bookmark24 Suche", "Bookmark24.net");
  }
}