/* Grafikdateien benennen, die per javascript durch den Browser vorausgeladen werden sollen */

/* ACHTUNG: Diese Datei wird durch das CMS-System gehandhabt ! */

bildnamen_galerie[18] = "../dummy_tn_color.gif";
bildnamen_galerie[19] = "../dummy_kopfbild.gif";
bildnamen_galerie[20] = "../dummy_tn_color.gif";
bildnamen_galerie[21] = "../dummy_kopfbild.gif";