#include	<time.h>
#include	<stdio.h>


int main()
{
	time_t	ttt;

	while( scanf("%ld", &ttt) == 1 )
		printf("that time is %s", ctime(&ttt));
	return 0;
}