#include	<lib9.h> char *myctime(long x){	return ctime(x);}