GRaVESEND den 7 juli.