HASH(0x7f5cdabca7d0)