HASH(0x7ff4200ac2d8)