HASH(0x7ff438d29ff8)