var imglist = new Array ( 
"images/img_badeinrichtung_animation.png", 
"images/img_boese_animation.png",
"images/img_heizung_animation.png",
"images/img_sanitaer_animation.png",

"buttons/badeinrichtung_button_1a.png",
"buttons/badeinrichtung_button_2a.png",
"buttons/heizung_button_1a.png",
"buttons/heizung_button_2a.png",
"buttons/sanitaer_button_1a.png",
"buttons/sanitaer_button_2a.png"
); 

var imgs = new Array(); 

var count 
if (document.images) 

for (count=0; count<imglist.length; count++) 
    {imgs[count]=new Image(); imgs[count].src=imglist[count];}