var sluitUrl = "<a onClick=\"clearSearch()\" href=\"javascript:void(0)\">Sluit resultaten</a>";

function clearSearch() {
   $("#searchresults").css("visibility", "hidden");
}

function search(key) {
	var tempkey = key.toLowerCase();
	var $result = "";
	
	$("#index a").each(function() {		
		var $text = $(this).attr("title").toLowerCase();
		if ( $text.indexOf(tempkey) >= 0 ) {
			var $url = $(this).attr("href");
			$result += '<a href="' + $url + '">' + $text + '</a><br/>';
		}
	});
	
   var $html = "<p>" + sluitUrl + "</p>";
   $html += ( ( $result == "" ) ? "<p>Geen resultaten</p>" : $result);
   $("#searchresults").html($html);
   $("#searchresults").css("visibility", "visible");   
}