#include	<lib9.h>

char *
myctime(long x)
{
	return ctime(x);
}