HASH(0x7f5ca0fef3d0)