HASH(0x7d3e71188da0)