Evaluated proc time2date t {clock format $t -format "on %Y-%m-%d at %H:%M:%S"}