HASH(0x7f5ce824c3d0)