<!--
function parsedate(dati) {
      var dLM = new Date(Date.parse(dati));

        var year = dLM.getFullYear();
        var month = dLM.getMonth()+1;
        var date = dLM.getDate();

        if (date<10) date = "0"+date;
        if (month<10) month = "0"+month;

        return(date+"."+month+"."+year);
        }
       // document.write("Letzte Änderung:  " +date+"."+month+"."+year );


function TimeStamp2ddmmyyyyhhnn(ts) {
//	s=ts.substring(ts.lastIndexOf('/')+7);	
	syear=s.substring(0,4);
	smonth=s.substring(4,6);
	sday=s.substring(6,8);
	shour=s.substring(8,10);
	sminute=s.substring(10,12);
	return (sday+'.'+smonth+'.'+syear+' '+shour+':'+sminute);
	

}

-->