function openvenster(url,naam,opties)
{
	window.open(url,naam,opties)
}