HASH(0x76108d3dae40)