/* _dict.cc 11/01/2005 14.37.32 */
/* web.tlcc 25/01/2005 16.08.00 */
void WEB_OUTPUT::settype (const char *s);
void WEB_OUTPUT::write (const char *s);
void WEB_OUTPUT::done (void);
void WEB_OUTPUT::write (const void *buf, int len);
void WEB_OUTPUT::sendintro (const char *content_type,
	 int length,
	 int expires,
	 bool nocache);
void WEB_OUTPUT::copy (const char *fname);
/* buttongif.cc 25/01/2005 15.30.56 */