function zaehler() { return 43; }