/*de*/
imgx0 = new Image();
imgx0.src = "fileadmin/html/includis_factory_map_00.jpg";
imgx1 = new Image();
imgx1.src = "fileadmin/html/includis_factory_map_01.jpg";
imgx2 = new Image();
imgx2.src = "fileadmin/html/includis_factory_map_02.jpg";
imgx3 = new Image();
imgx3.src = "fileadmin/html/includis_factory_map_03.jpg";
imgx4 = new Image();
imgx4.src = "fileadmin/html/includis_factory_map_04.jpg";
/*eng*/
imgxen0 = new Image();
imgxen0.src = "fileadmin/html/includis_factory_map_00_en.jpg";
imgxen1 = new Image();
imgxen1.src = "fileadmin/html/includis_factory_map_01_en.jpg";
imgxen2 = new Image();
imgxen2.src = "fileadmin/html/includis_factory_map_02_en.jpg";
imgxen3 = new Image();
imgxen3.src = "fileadmin/html/includis_factory_map_03_en.jpg";
imgxen4 = new Image();
imgxen4.src = "fileadmin/html/includis_factory_map_04_en.jpg";

function hiLite(imgID,imgObjName) {
// imgID - Name des auszutauschenden Bildes
// imgObjName - Name des Bildes mit dem ausgetauscht wird
document.images[imgID].src = eval(imgObjName + ".src")
}