function maakRood(nr){
  document.getElementById("knop" + nr).src="img/knop" + nr + "_m.gif";
}

function maakOranje(nr){
  document.getElementById("knop" + nr).src="img/knop" + nr + ".gif";
}