// NOTE: customize variables in this javascript block as appropriate.

    var childHelp="Bitte geben Sie das Alter der Kinder pro Zimmer an. Benötigt wird das Kindesalter am Zeitpunkt des Reiseantritts. ";
    var textRooms="Zimmer:";
    var textAdults="Erwachsene: (19+)";
    var textChildren="Kinder: (0-18)";
    var textChildError="Bitte Kindesalter angeben";
    // NOTE: Question marks ("?") get replaced with a numeric value
    var textRoomX="Zimmer ?:";
    var textChildX="Kind ?:";
    var allDates = "Alle Termine";
    
    var months = new Array();
    months[0] = "Januar";
    months[1] = "Februar";
    months[2] = "März";
    months[3] = "April";
    months[4] = "Mai";
    months[5] = "Juni";
    months[6] = "Juli";
    months[7] = "August";
    months[8] = "September";
    months[9] = "Oktober";
    months[10] = "November";
    months[11] = "Dezember";