HASH(0x7fedd259e3d8)