var Img = new Array();

// Objekt Bild
function doc_image(dateiname) {
  this.normal     = new Image();
  this.high       = new Image();
  this.normal.src = "../images/dot_trans.gif";
  this.high.src   = "../images/navidot.gif";
  return this;
}

// Dateiinformationen
function load_images(name) {
  Img[name] = new doc_image;
}

// Bild zeigen
function show_image(name) {
  document[name].src = Img[name].high.src;
  return true;
}

// Bild verstecken
function hide_image(name) {
 document[name].src = Img[name].normal.src;
}

function hideimgto(max_nr) {
  if (max_nr >= 1) {
    for (i=1; i<=max_nr; i++) {
	  hide_image('button' + i);
	}
  }
}

function loadimgto(max_nr) {
  for (i=0; i<=max_nr; i++) {
    load_images("button" + i);
  }
}