HASH(0x7d3ec0d37e40)