I don't want to start a flamewar or discussion about programming styles. But in general grep is faster than awk most of the times