HASH(0x7ff42c03b9f8)