In a​ company, ​95% of the workers are men. If 265 people work for the company who​ aren't men ​, how many workers are there in​ all?