function ShowPicture(naam)
{
	document.getElementById('foto_groot').src = naam;
}

function ShowPictureWerkplaats(naam)
{
	document.getElementById('foto_groot').src = naam;
	document.getElementById('foto_groot').style.display = 'block';
	document.getElementById('werkplaats_tekst').style.display = 'none';
}