if (document.images) {
  punkt_on = new Image();
  punkt_on.src ="_imagepool/navi/punkt_on.gif";

  punkt_off = new Image();
  punkt_off.src ="_imagepool/navi/punkt_off.gif";

}

function changeImages() {
  if (document.images) {
    for (var i=0; i<changeImages.arguments.length; i+=2) {
      document[changeImages.arguments[i]].src = eval(changeImages.arguments[i+1] + ".src");
    }
  }
}