void serv_read(char *buf, int bytes);
int haschar(char *, char);
void readloop(char *oper);
void serv_read(char *buf, int bytes);
int haschar(char *, char);
void readloop(char *oper);
void embed_message(char *msgnum_as_string);
void print_message(char *msgnum_as_string);
void display_headers(char *msgnum_as_string);
void embed_message(char *msgnum_as_string);
void print_message(char *msgnum_as_string);
void display_headers(char *msgnum_as_string);
void offer_start_page(void);
void convenience_page(char *titlebarcolor, char *titlebarmsg, char *messagetext);
void change_start_page(void);
void offer_start_page(void);
void convenience_page(char *titlebarcolor, char *titlebarmsg, char *messagetext);
void change_start_page(void);