// ########### code für Datum in Suchmaske (Travado) ###########

DatArray = new Array("So","Mo","Di","Mi","Do","Fr","Sa","??" )
function MM_reloadPage(init) {  //reloads the window if Nav4 resized
if (init==true) with (navigator) {if ((appName=='Netscape')&&(parseInt(appVersion)==4)) {
document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);
function SELECT_VON()
{
document.write("<select name='VON' size=1>")
for (var i=1; i<=50;i++)
{
document.write('<option value='+i+'>'+GetDatum(i)+'')
}
document.write("</select>")
}
function SELECT_BIS()
{
document.write("<select name='BIS' size=1>")
for (var i=4; i<=71;i++)
{
if (i==15) document.write('<option selected ');  else document.write('<option ');
document.write('value='+i+'>'+GetDatum(i)+'')
}
document.write('</select>')
}
function GetDatum(offset)
{ var time = new Date()
  time.setTime( time.getTime()+offset*86400000);
  tag     = time.getDate();
  monat   = time.getMonth()+1;
  jahr    = time.getYear();
  if (tag   < 10)   tag   = "0"+tag;
  if (monat < 10)   monat = "0"+monat;
  if (jahr  < 2000) jahr += 1900;
  return DatArray[time.getDay()]+' '+tag+'.'+monat+'.'+jahr;
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}



// ########### Code für print Datum ###########
  var day = new Object();
  var mon = new Object();
  date=new Date();
  var y2000 = date.getFullYear();

  day[0]="Sonntag";
  day[1]="Montag";
  day[2]="Dienstag";
  day[3]="Mittwoch";
  day[4]="Donnerstag";
  day[5]="Freitag";
  day[6]="Samstag";
  mon[0]="Januar";
  mon[1]="Februar";
  mon[2]="M&auml;rz";
  mon[3]="April";
  mon[4]="Mai";
  mon[5]="Juni";
  mon[6]="Juli";
  mon[7]="August";
  mon[8]="September";
  mon[9]="Oktober";
  mon[10]="November";
  mon[11]="Dezember";

if (window.screen)
  // JS1.2-Erkennung
  	var jahr1 = date.getFullYear();
else
  // JS 1.0 und JS 1.1
  {
  	var jahr1 = date.getYear();
  	jahr1 = (jahr1<1900)?jahr1+1900:jahr1;  // Y2K-Kompatibilit&auml;t
  }


