better code in gawk