Number of bots online

Here is the docu-link:
http://www.pikkubot.de/dokuwiki/doku.php?id=howtos:how_do_you_show_estats