HASH(0x7fbf704984d0)