function geaendert_am(){
var datum=document.lastModified;
var datum_ms=Date.parse(datum);
var datum_obj=new Date(datum_ms);
var jahr=datum_obj.getYear();
if (jahr<1000) jahr+=1900;
var monat=datum_obj.getMonth()+1;
var tag=datum_obj.getDate();
var tagzusatz="";
if (tag<10) tagzusatz="0";
var monatzusatz="";
if (monat<10) monatzusatz="0";

document.write("zuletzt ge&auml;ndert am "+tagzusatz+tag+"."+monatzusatz+monat+"."+jahr);
}


function mailsend(mail,p0,p1,p2,p3) {
var ca;
ca = "mailto:" + p2 + "\@" + p3 + "." + p1;
if (p0 != "") ca = ca + "?subject="+p0;
mail.href = ca;
return (1);
}