HASH(0x7ff408025e90)