HASH(0x7d3ec144d718)