HASH(0x7f5cda0cf3f0)