HASH(0x7f5ca252ff30)