HASH(0x7fbf70541fb0)