function showimage(image){
	document.grotefoto.src=image;
}

function toonmenu(naam)
{
    document.getElementById(naam).style.display = 'block'; 
    document.getElementById(naam).style.visibility = 'visible'; 
}
function verstopmenu(naam)
{
wait(100);
    document.getElementById (naam).style.visibility = 'hidden'; 
}

function wait(msecs)
{
var start = new Date().getTime();
var cur = start
while(cur - start < msecs)
{
cur = new Date().getTime();
} 
}