HASH(0x7f5c981de5d0)