— S:T THOMAS den 25 juli.