function kaart_tonen()
{
	myWin = window.open('plattegrond.html','mywin','left=20,top=20,width=260,height=260,toolbar=0,resizable=0,menu=0,status=0');
}

function curveCreator_openen()
{
	myNewWin = window.open('curveCr.html','mynewwin','left=20,top=20,width=760,height=450,toolbar=0,resizable=0,menu=0,status=0');
}

function sluitWin()
{
	timerID=window.setInterval('window.close()', 2000);
}