HASH(0x7f5cde59f0c0)