我有一个输入文本文件，如下所示，
12717251268292797123831987-->Header
a1921972998468104998676534716
17923862384623647864723467631
28791379370982379807821876843
23767891263716387928371836183
32189378913681698677676372876
28168961846349876479864210986
12541521---->tail
现在我想把上面的文件分成两个不同的文本文件。
谁能建议我如何使用 unix shell 脚本来做到这一点。