HASH(0x7ff40c50daf0)