/* datime.h */ extern char *datime();