//4576 change this byte from 04 to 05 (hex)
main()
{
 char buf[10000];
  read(0,buf,4560);
  write(1,buf,4560);
  write(1,"\005",1);
  read(0,buf,4512);
  write(1,buf+1,4511);
  close(1);
}