var foto1 = new Image();
var foto2 = new Image();
var foto3 = new Image();

foto1.src = "/images/navigatie/wagemaker.jpg";
foto2.src = "/images/navigatie/duinen.jpg";
foto3.src = "/images/navigatie/kinderen_lam.jpg";

function doButtons(picimage) {
eval("document['picture'].src = " + picimage + ".src");
}