/*Ladezeit der Seite cgi-Scripte*/
var start = new Date();
function ladezeit() {
var ende = new Date();
document.getElementById("ladung").firstChild.nodeValue=((ende.getTime()-start.getTime())/1000)+" Sekunden geladen";
}