HASH(0x7954ac5e3d40)