HASH(0x7f5ca041b180)