HASH(0x7f5ce421c5b0)