10 f. m ; —juli