var imageName;

weiter_high                = new Image(); weiter_high.src                 = "images/weiter_high.gif";
weiter_norm                = new Image(); weiter_norm.src                 = "images/weiter_norm.gif";
zurueck_high        = new Image(); zurueck_high.src                = "images/zurueck_high.gif";
zurueck_norm        = new Image(); zurueck_norm.src                = "images/zurueck_norm.gif";

function point( imageName ) {
  document[ imageName ].src = eval(imageName + "_high.src");
}

function nopoint( imageName ) {
  document[ imageName ].src = eval(imageName + "_norm.src");
}