/*global*/  void endtxt(void);