bName=navigator.appName;
		 bVer=parseInt(navigator.appVersion);
		 if((bName=="Netscape" && 3<=bVer<=5)||(bName=="Microsoft Internet Explorer" && bVer>=4)){br="n3"};
		if((bName=="Microsoft Internet Explorer" && bVer<4)||(bName=="Netscape" && bVer<3)) {br="n2"};

		now = new Date();
		function print_date()
			{
				var day = now.getDay();
				var monthNames = new Array("01", "02", "03", "04", "05", "06", "07", "08", "09", "10", "11", "12");
				var month = now.getMonth();
				var monthName = monthNames[month];
				var year = now.getYear();
				if ( year < 1000 ) year += 1900;
				var datestring = now.getDate() + '.' + monthName + '.' + year;
				document.write('<NOBR> ' + datestring + '</NOBR>');
			}