In a company, 75% of the workers are men. If 1,025 women work for the company, how many workers are there in all?