HASH(0x7d3ec144b9a0)