HASH(0x7fee1e5df0a0)