function addSearch()
{
	if (window.XMLHttpRequest) {
		// IE 7, mozilla, safari, opera 9
		window.external.AddSearchProvider('../opensearch.xml');
	} else {
		// IE6, older browsers
		alert("Deze functie werkt enkel vanaf Internet Explorer 7.");
	}
}