HASH(0x7f5ccd05a3f0)