/////////////////////////////////////////////////////////
//  Begin date display function with y2k compatibility
/////////////////////////////////////////////////////////

function makeArray(n){
  this.length = n;
  for (i=1;i<=n;i++){
    this[i]=0;
  }
  return this;
}

function displayDate() {
	var this_month = new makeArray(12);
    this_month[0]  = "Januar";
    this_month[1]  = "Februar";
    this_month[2]  = "März";
    this_month[3]  = "April";
    this_month[4]  = "Mai";
    this_month[5]  = "Juni";
    this_month[6]  = "Juli";
    this_month[7]  = "August";
    this_month[8]  = "September";
    this_month[9]  = "Oktober";
    this_month[10] = "November";
    this_month[11] = "Dezember";
	var today = new Date();
	var day   = today.getDate();
	var month = today.getMonth();
	var year  = today.getYear();
	if (year < 1900){
		year += 1900;
	}
  return(day+". "+this_month[month]+" "+year);
}
// End: date display function with y2k compatibility
/////////////////////////////////////////////////////////
// opens a new window with parameters
/////////////////////////////////////////////////////////
var objWin = null;
function NewWindow(thepageurl,thename,w,h,l,t,toolbar,location,directories,statusbar,resize,menubar,scroll,copyhistory)
	{
	LeftPosition = l;
	TopPosition = t;
	if (l == 'center')
		{
		LeftPosition = (screen.width) ? (screen.width-w)/2 : 0;
		}
	if (t == 'center')
		{
		TopPosition = (screen.height) ? (screen.height-h)/2 : 0;
		}
	settings = 'height='+h+',width='+w+',top='+TopPosition+',left='+LeftPosition+',scrollbars='+scroll+',resizable='+resize+',status='+statusbar+',toolbar='+toolbar+',location='+location+',directories='+directories+',menubar='+menubar+',copyhistory='+copyhistory;
	objWin = window.open(thepageurl,thename,settings);
	if(objWin.focus){objWin.focus();}
	}
// End: opens a new window with parameters
/////////////////////////////////////////////////////////
// resizes the window to sizeX, sizeY
/////////////////////////////////////////////////////////
function winResize(sizeX, sizeY)
	{
//	if (document.all || document.layers)
//		{
		if (screen)
			{
				if (sizeX > screen.availWidth) sizeY = screen.availWidth;
				if (sizeY > screen.availHeight) sizeY = screen.availHeight;
			}
		else
			{
				if ( sizeX > 800 ) sizeY = 800;
				if ( sizeY > 640 ) sizeY = 640;
			}
	    window.resizeTo(sizeX,sizeY)
//	    }
	}
// End: resizes the window to x