<!-- hide from old browsers
  function GetDay(intDay){
    var DayArray = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", 
                         "Donnerstag", "Freitag", "Samstag")
    return DayArray[intDay]
    }

  function GetMonth(intMonth){
    var MonthArray = new Array("Januar", "Februar", "März",
                               "April", "Mai", "Juni",
                               "Juli", "August", "September",
                               "Oktober", "November", "Dezember") 
    return MonthArray[intMonth] 	  	 
    }

  function getDateStrWithDOW(){
    var today = new Date()
    var year = today.getYear()
    if(year<1000) year+=1900
    var 
    todayStr = GetDay(today.getDay()) + ", "
    todayStr += today.getDate() + ". " + GetMonth(today.getMonth())


    todayStr += " " + year
    return todayStr
    }
		
		
		function xorCodes(s, key) 
{
  var res = "";
  for (i = 0; i < s.length; i++)
    {
      res += String.fromCharCode(s.charCodeAt(i) ^ key);
    }
  return res;
}		
		
//-->

function MM_openBrWindow(theURL,winName,features) { //v2.0 
window.open(theURL,winName,features); 
}