// 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"