HASH(0x7f5cecca28b0)