sed -e '10,15p;4p;s/.*//' file | awk '!/^$/{print $0}' somefile