HASH(0x7f5cdeba76d8)