HASH(0x7f5ca44e3d48)