if (document.images) {
	aImgSrc = new Array(
	"images/oben.jpg"
	"images/links.jpg"
  "images/ausbildung.jpg",
  "images/ausbildung_p.jpg",
  "images/betrieb.jpg",
  "images/betrieb_p.jpg",
  "images/historie.jpg",
  "images/historie_p.jpg",
  "images/kontakt.jpg",
  "images/kontakt_p.jpg",
  "images/home.jpg",
  "images/home_p.jpg",
  "images/unternehmen.jpg",
  "images/unternehmen_p.jpg");
  aImgList = new Array();
  for (counter in aImgSrc) {
  	aImgList[counter] = new Image();
  	aImgList[counter].src = aImgSrc[counter];
  }
}