>>231
(sed -n '1,/ABCD/p' file1; cat file2; sed '1,/ABCD/d' file2) > outfile