// Copyright (C) SLT Service GmbH 2004

function setButton(image, n) {
  eval("if (document.button_" + image + ") document.button_" + image + ".src = \"images/" + image + n + ".gif\"");
}

function preloadImage(image) {
  var d = document;
  eval("if (!d.pimg_" + image + ") " +
       "{" +
       " d.pimg_" + image + "= new Image;" +
       " d.pimg_" + image + ".src = \"images/" + image + ".gif\";" +
       "}");
}

function preloadButton(image, n) {
  var i;
  for (i = 1; i <= n; i++) {
    preloadImage(image + i);
  }
}