// Copyright (c) 1995, Masanao Izumo

FMT_REAL = "%.3f";

do
{
    write(time(), " ", TIME);
} while(getchar() != EOF);

writeln();