HASH(0x7fbf70534bb0)