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