HASH(0x7ff438d01ef0)