HASH(0x7f5cde2c1958)