HASH(0x76107427bc20)