awk 切檔問題 - Linux

想請教一下各位

我的檔案內容大致為

http://140.113.134.148/123.txt

裡面大概有2千多個.TIF的內容

想依據個數來切割 分為五等分

希望的輸出內容為

123.TIF xc= 30000 yc=30000
Hole x y
1 234 2354
2 234 2354

但我目前利用awk僅能做到

awk 'BEGIN{RS="TIF"} (NR-1){print $0 > ("output-file_" NR)}' 123.txt

輸出內容為：

xc= 30000 yc=30000
Hole x y
1 234 2354
2 234 2354


不知道要如何改善 再麻煩給點提示了

--