T16563.stdout 13 Bytes