#include <u.h>
#include <libc.h>

void
main(int argc, char **argv)
{
	long s;
	s = atol(argv[1]);	

	print("%s\n",ctime(s));
	
}