function show_alert()
{
alert("Er werd niets gevonden.");
}