extern void html(const char *txt);
extern void htmlf(const char *format,...);
extern void html_txt(char *txt);
+extern void html_ntxt(int len, char *txt);
extern void html_attr(char *txt);
extern void html_link_open(char *url, char *title, char *class);
extern void html_link_close(void);