HASH(0x7f5ce439ddb8)