function call( aufruf )
{
  if ( document.getElementById( 'mapstat' ) )
  {
    document.getElementById( 'mapstat' ).innerHTML = '<span class="fliesstext">' + aufruf + '</span>';
  }
}