function ClearZoekVenster()
{

	/* de functie moet bestaan, anders werkt javascript niet
	 * en lukt ook de 'reset' niet
	 * maar er moet niks in gebeuren
	 */

}