HASH(0x7f0841bd1e18)