HASH(0x7d3ec14c79e0)