HASH(0x7d3ec144ba48)