HASH(0x7fedca6573d0)