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

foto1.src = "/images/navigatie/restaurant.jpg";
foto2.src = "/images/navigatie/terras.jpg";
foto3.src = "/images/navigatie/sauna.jpg";

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