HASH(0x7ff4200dc3e0)