GRaVESEND den 16 juli.