use POSIX;
print strftime("%H:%M:%S", localtime);