    body_begin         58 htags/common.c const char *body_begin		= "<body text='#191970' bgcolor='#f5f5dc' vlink='gray'>";
    body_begin        150 htags/common.c 	body_begin		= "<body>";
    body_begin         42 htags/common.h extern const char *body_begin;
    body_begin         75 htags/defineindex.c 	fputs_nl(body_begin, DEFINES);
    body_begin        175 htags/defineindex.c 			fputs_nl(body_begin, ALPHA);
    body_begin        149 htags/dupindex.c 						fputs_nl(body_begin, op);
    body_begin        442 htags/fileindex.c 	fputs_nl(body_begin, op);
    body_begin        694 htags/fileindex.c 	fputs_nl(body_begin, filesop);
    body_begin        813 htags/fileindex.c 			fputs_nl(body_begin, INCLUDE);
    body_begin        858 htags/fileindex.c 			fputs_nl(body_begin, INCLUDE);
    body_begin        403 htags/htags.c                  {"@body_begin@", body_begin},
    body_begin        560 htags/htags.c  	fputs_nl(body_begin, op);
    body_begin        711 htags/htags.c  		fputs_nl(body_begin, op);
    body_begin        719 htags/htags.c  		fputs_nl(body_begin, op);
    body_begin        746 htags/htags.c  	fputs_nl(body_begin, op);
    body_begin        771 htags/htags.c  	fputs_nl(body_begin, op);
    body_begin       1186 htags/htags.c  			body_begin = p;
    body_begin        689 htags/src2html.c 	fputs_nl(body_begin, out);