HASH(0x7ff40c4c3278)