— S:T THOMAS den 16 juli.