// Menu image normaal
off = new Image();
off.src = "images/design/penseel1.gif";

// Menu image geselecteerd
on = new Image();
on.src = "images/design/penseel2.gif";

function menuOn(img) {
	if (document.images) {
		document.images["img_"+img].src = on.src;
	}	
}

function menuOff(img) {
	if (document.images) {
		document.images["img_"+img].src = off.src;
	}	
}