extern void open_maxart();
extern unsigned long int get_maxart();
extern void set_maxart();
extern void save_maxart();

extern char maxartname[];