HASH(0x7d3ec144be38)