HASH(0x7f5cb31af3f8)