sed -e/{9..13}/!c$[++a+8]