HASH(0x76108eb42c80)