T10807.stdout 8 Bytes