HASH(0x76107d7b0748)