HASH(0x7f5ccc12cc40)