sed -ne '10,15p;5p' | awk ...