Edit File: gettime.awk