tons ; Gibraltar 7 s. , 1,200 tons ; Nizza 0 s.