HASH(0x7ff4200dccf8)