function fillZero (nValue) 
{
	if (nValue < 10)
	{
		return "0" + nValue;
	}
	return nValue;
}

function gmt2de(gmt)
{
	nUnixtime = Date.parse(gmt);
	fdate = new Date(nUnixtime);
	return fillZero(fdate.getDate()) + "." +
	(fillZero(fdate.getMonth() + 1)) + "." + fdate.getFullYear() + ", " + fdate.getHours() +
	":" + fillZero( fdate.getMinutes() );
}

function printDate()
{
	document.write("Letzte &Auml;nderung: " + gmt2de(document.lastModified) );
}

function printDateEng()
{
	document.write("Last Change: " + gmt2de(document.lastModified) );
}