HASH(0x7fbf70537e20)