HASH(0x7d3ec948cfe8)