HASH(0x7d3eb9420f38)