HASH(0x7f5cddfaaa58)