display_header
void display_header(int t);
display_header(true);
display_header(topn > 0);
display_header(false);