what is the 2012 employees (total) when the rank (2012) is 7?
12500.0