HASH(0x7fbf4c53f0b0)