function dotext()
{
document.getElementById('datum').innerHTML= 'Seite erstellt: Juli 2009; Letzte Aktualisierung: 09. November 2011';
}