HASH(0x7f5ca50a51d8)