sed -ne '/^$/d;10,15p;4p' file