HASH(0x7f5ce12963b8)