awk

2017-11-24 AWK - time functions