HASH(0x7dc80266fe20)