— GRaVESEND den 10 juli.