HASH(0x7fa9ec1e64b0)