HASH(0x7d3e540f5818)