HASH(0x7f5cbc27c2e0)