//heiligenberg_hotel.js

//43	
//bilderlinkliste austauschen
//bild10, position:25
bild10=new Image();
bild10.src="images_wellness/bilder_wellness_1.gif";

//gegen 
//bild0 bis bild9
var bild=new Array();
var bildname1 = "images_wellness/bilder_wellness_";

    for(var i=0;i<7;i++) {
    bild[i]=new Image();
    bild[i].src=bildname1+(i+1)+".gif";
}
//und gegen
//jpgs
//pict0 bis pict9  , position:13
var pict=new Array();
var bildname2 = "images_wellness/bild_wellness_";

    for(var i=0;i<7;i++) {
    pict[i]=new Image();
    pict[i].src=bildname2+(i+1)+".jpg";
}
//links tauschen
//position:29,(31) - 41
menue1=new Image();
menue1.src="images_navigation/home.gif";
menue2=new Image();
menue2.src="images_navigation/hotel.gif";
menue3=new Image();
menue3.src="images_navigation/zimmer.gif";
menue4=new Image();
menue4.src="images_navigation/restaurant.gif";
menue5=new Image();
menue5.src="images_navigation/tagen.gif";
//menue6=new Image();
//menue6.src="images_navigation/wellness.gif";
menue7=new Image();
menue7.src="images_navigation/kontakt.gif";

//austauschen gegen links_rot
menue8=new Image();
menue8.src="images_navigation/rost_home.gif";
menue9=new Image();
menue9.src="images_navigation/rost_hotel.gif";
menue10=new Image();
menue10.src="images_navigation/rost_zimmer.gif";
menue11=new Image();
menue11.src="images_navigation/rost_restaurant.gif";
menue12=new Image();
menue12.src="images_navigation/rost_tagen.gif";
//menue13=new Image();
//menue13.src="images_navigation/rost_wellness.gif";
menue14=new Image();
menue14.src="images_navigation/rost_kontakt.gif";

//untermenue tauschen 
//position:30-
menue15=new Image();
menue15.src="images_wellness/wellness_33.gif";
menue16=new Image();
menue16.src="images_wellness/wellness_34.gif";
menue17=new Image();
menue17.src="images_wellness/wellness_35.gif";
menue18=new Image();
menue18.src="images_wellness/wellness_36.gif";
//gegen
menue19=new Image();
menue19.src="images_wellness/a_wellness_33.gif";
menue20=new Image();
menue20.src="images_wellness/a_wellness_34.gif";
menue21=new Image();
menue21.src="images_wellness/a_wellness_35.gif";
menue22=new Image();
menue22.src="images_wellness/a_wellness_36.gif";








var a, bild;
function tauschen(a, bild){
         window.document.images[a].src=bild.src;
}

function fenster(theURL,winName,features) {
  window.open(theURL,winName,features);
}