HASH(0x7d3eb543e378)