var bilder = new Array()
function button(dateiname_normal, dateiname_aktiv)
  {
  this.aktiv      = new Image();
  this.normal     = new Image();
  this.aktiv.src  = dateiname_aktiv;
  this.normal.src = dateiname_normal;
  }
function aktivbild(name)
  {
  document.images[name].src = bilder[name].aktiv.src;
  }
function normalbild(name)
  {
  document.images[name].src = bilder[name].normal.src;
  }
function initialisierung()
  {
  for (i=0;i<10;i++)
    bilder["li_"+i] = new button('http://www.christkindlmarkt-regensburg.de/pics/stardot_off.gif', 'http://www.christkindlmarkt-regensburg.de/pics/stardot_on.gif');
  }
initialisierung();