HASH(0x7f5ce44e5c38)