use gawk; it's faster