HASH(0x7fee30554e18)