GRaVESEND den 18 juli.