HASH(0x7f5cbc27c2b0)