var img_01 = new Image();
img_01.src = "/gfx/willkommen_active.gif";
var img_02 = new Image();
img_02.src = "/gfx/hotel_active.gif";
var img_03 = new Image();
img_03.src = "/gfx/restaurant_active.gif";
var img_04 = new Image();
img_04.src = "/gfx/aktivitaeten_active.gif";