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