HASH(0x7ff4200a87d0)