T12525.stdout 37 Bytes