HASH(0x76108d31ae58)