HASH(0x7f5ccdea08b0)