HASH(0x76107d5dac20)