HASH(0x7d3eb1441f48)