HASH(0x7f5ce9fe08b0)