HASH(0x7f5ce84de3b8)