function install_searchplugin (url, method, name, category) {

	if (typeof window.external == "object" && (
		typeof window.external.AddSearchProvider == "unknown" &&
		method != 'post' ||
		typeof window.external == "object")) {

		window.external.AddSearchProvider(url+'.xml');

	} else if (typeof window.sidebar == "object" &&
		typeof window.sidebar.addSearchEngine == "function") {

		window.sidebar.addSearchEngine(
			url+'.src', url+'.png', name, category);
	} else {

		alert ("Ihr Browser unterstützt dieses Suchplugin nicht.");
	}
}