HASH(0x7f5ca85c87a0)