HASH(0x7fee305258c8)