HASH(0x7f5ccdeffdf8)