format.awk