>>218
gawk 'NR >10000 && NR <13000 {print $0}' log.txt