BEGIN {
then = mktime("1959 12 15 7 00 00")
print strftime(PROCINFO["strftime"], then)
}