HASH(0x7d3e84da4130)