extern char *set_num( int n, int wd );
extern char *get_textpara( char **sp );