read(0, "Input1\n", 1024)               = 7
time(NULL)                              = 1066404693
write(1, "1066404693: \"Input1\"\n", 21) = 21
read(0, "END\n", 1024)                  = 4
time(NULL)                              = 1066404697
write(1, "1066404697: exit\n", 17)      = 17