extern void print_header0();
extern void print_header1();
extern void print_header2();