
<!--
function highlightNewsItem(object)
{
	object.style.border="2px solid #c4d7ff";
}

function normalNewsItem(object)
{
	object.style.border="2px solid #006633";
}
//-->


<!-- 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()) + ",&nbsp; "
	todayStr += today.getDate() + ".&nbsp; "
    todayStr += GetMonth(today.getMonth())
    todayStr += "&nbsp; " + year
    return todayStr
    }
//-->