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