function do_click(src){ if (event.srcElement.tagName=='TD') { src.children.tags('A')[0].click(); } }

	function menu_hover(src)	{ src.style.cursor = 'hand';	src.className='head_menu_hover'; }
	function menu_out(src)		{ src.style.cursor = 'default';	src.className='head_menu'; }



	function smenu_hover(src)	{ src.style.cursor = 'hand';	src.className='menu_hover'; }
	function smenu_out(src)	{ src.style.cursor = 'default';	src.className='menu'; }

	
function popup (url){window.open(url,'openPop','left= 100,top=10,width=550,height=580,scrollbars=yes,toolbars=auto,resize=no,status=no')}

 
	 function Datum(n) {

			this.length = n

			return this

			}



		monthNames = new Datum(12)

		monthNames[1] = "Jan."

		monthNames[2] = "Feb."

		monthNames[3] = "März"

		monthNames[4] = "April"

		monthNames[5] = "Mai"

		monthNames[6] = "Juni"

		monthNames[7] = "Juli"

		monthNames[8] = "Aug."

		monthNames[9] = "Sep."

		monthNames[10] = "Okt."

		monthNames[11] = "Nov."

		monthNames[12] = "Dez."



		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

			return theDay + ", " + oneDate.getDate() + ". " + theMonth + " " + theYear

		}