AWK based time stamper