T13473.stdout 4 Bytes