// swap images:
if (document.images) {
lodging = new Image(51,15); lodging.src = "../../lodging.gif";
lodgings = new Image(51,15); lodgings.src = "../../lodgings.gif";
alloggio = new Image(57,15); alloggio.src = "../../alloggio.gif";
alloggi = new Image(57,15); alloggi.src = "../../alloggi.gif";
alojamiento = new Image(57,15); alojamiento.src = "../../alojamiento.gif";
alojamientos = new Image(57,15); alojamientos.src = "../../alojamientos.gif";
logement = new Image(60,15); logement.src = "../../logement.gif";
logements = new Image(60,15); logements.src = "../../logements.gif";
unterkunft = new Image(59,15); unterkunft.src = "../../unterkunft.gif";
unterkunfte = new Image(59,15); unterkunfte.src = "../../unterkunfte.gif";
photos = new Image(48,45); photos.src = "../../photos_2.gif";
flash = new Image(48,45); flash.src = "../../flash.gif";

}

function hiLite(imgName,imgObjName) {
if (document.images) {
  document.images[imgName].src = eval(imgObjName + ".src");
}}

// preload images:
Image1= new Image
Image1.src = "../flash.gif"
Image2= new Image
Image2.src = "../alojamientos.gif"
Image3= new Image
Image3.src = "../alloggi.gif"
Image4= new Image
Image4.src = "../logements.gif"
Image5= new Image
Image5.src = "../unterkunfte.gif"
Image6= new Image
Image6.src = "../lodgings.gif"