awk ' BEGIN { pos='7' lon='4' ref='$1'+0 } { n=substr($0,pos,lon)+0 if ( n == ref ) printf "%s\n", $0 } '