HASH(0x7f5ce01be9c8)