HASH(0x7fee225f51c8)