function popup(url)
{
	new_win=window.open(url,"Popup-Fenster");
}

function lastmod()
{
	var dlm=new Date(Date.parse(document.lastModified));
	var year = dlm.getFullYear();
        var month = dlm.getMonth()+1;
        var day = dlm.getDate();
        var hours = dlm.getHours();
        var minutes = dlm.getMinutes();
        var seconds = dlm.getSeconds();

        if (day<10) day = "0"+day;
        if (month<10) month = "0"+month;
        if (hours<10) hours = "0"+hours;
        if (minutes<10) minutes = "0"+minutes;
        if (seconds<10) seconds = "0"+seconds;

	var date="Seite zuletzt ge\u00E4ndert am "+day+"."+month+"."+year+", "+hours+":"+minutes+":"+seconds;

	if (document.getElementById) 
		{document.getElementById('lastmod').firstChild.data=date;}
	else if (document.all)
		{document.all('lastmod').firstChild.data=date;}
	else if (document.layers)
		{document.layers('lastmod').firstChild.data=date;}
}