sed -e '10,15p;4p;d' | awk ...