HASH(0x7fede65ed560)