HASH(0x7ff438068978)