A company had to let go 9 employees from its staff. If that was 12% of its workforce,
how many employees did they have?