function ChangeGrafik(id) {
  document.getElementById(id).src = changegrafik[id]["over"];
}

function RestoreGrafik(id) {
  document.getElementById(id).src = changegrafik[id]["normal"];
}