HASH(0x7fbf70531cd0)