/*************
**** <config>
**/

function Datum(n) {
    this.length = n
    return this
}
monthNames = new Datum(12)
monthNames[1] = "Januar"
monthNames[2] = "Februar"
monthNames[3] = "März"
monthNames[4] = "April"
monthNames[5] = "Mai"
monthNames[6] = "Juni"
monthNames[7] = "Juli"
monthNames[8] = "August"
monthNames[9] = "September"
monthNames[10] = "Oktober"
monthNames[11] = "November"
monthNames[12] = "Dezember"

dayNames = new Datum(7)
dayNames[1] = "Sonntag"
dayNames[2] = "Montag"
dayNames[3] = "Dienstag"
dayNames[4] = "Mittwoch"
dayNames[5] = "Donnerstag"
dayNames[6] = "Freitag"
dayNames[7] = "Samstag"
function customDateString(oneDate) {
    var theDay = dayNames[oneDate.getDay() + 1]
    var theMonth = monthNames[oneDate.getMonth() + 1]
    var theYear = oneDate.getYear()
    if(theYear<1000) theYear+=1900;
        var theMinutes = oneDate.getMinutes();
    if (theMinutes < 10) theMinutes = "0" + theMinutes;
          return theDay + ", der " + oneDate.getDate() + ". " + theMonth + " " + theYear + " ";
}


 function IFrameStart() {

          var URL = location.search;
          var URL = URL.substring(1,URL.length);

          if(URL)
          Homeframe.location.href = URL;   //inlineframe = Frame Name


   }

   if (self.location.href != top.location.href) {
                 parent.location.href=self.location.href;
   }



function reSize()
{

        var the_height= document.getElementById('iframe').contentWindow.document.body.scrollHeight+20;
        document.getElementById('iframe').height=the_height;
}