#!/usr/bin/perl -w


while (<STDIN>) {
    if (/^\d+$/) {
        printf("%d = %s\n", $_, scalar localtime($_));
    } else {
        while (/\b(\d{10})(?:\.\d\d\d)?\b/) {
            $_ = $` . scalar(localtime($1)) . $';
        }
        print($_);
    }
}



