awk is better than grep