function dotext()
{
document.getElementById('datum').innerHTML= 'Letzte Aktualisierung: 14.09.2011';
}