T12757.stdout 11 Bytes