function DocID ()
    {var newfilename = document.location.href; 
     var splFileName = newfilename.split('/');
     var fileNoPath = splFileName[splFileName.length-1];

	var dLM = new Date(Date.parse(document.lastModified));
	var month = new Array("Jan","Feb","Mär","Apr","Mai","Jun","Jul","Aug","Sep","Okt","Nov","Dez");
	var date = dLM.getDate();
	var month = month[dLM.getMonth()];
	var year = dLM.getFullYear();

     if (Date.parse(document.lastModified) > 0) {
       document.write(fileNoPath + ', Stand: ' + date + '. ' + month + ' ' + year );}
     else {document.write(fileNoPath);}
     }