T3572.stdout 13 Bytes