HASH(0x7f5cde58ddc0)