Year	Personnel
1985	12400
1989	12000
1990	11000
1991	11000
1992	11000
1993	11000
1994	10000
1995	10100
1996	9870
1997	9550
1998	9550
1999	9530
2000	9200
2001	9200
2002	8700
2003	8600
2004	8000
2005	9000
2006	9000
2007	9000
2008	9000
2009	9673
2010	9673
2011	8550
2012	8550
2013	8500
2014	8500
2015	8950
2016	9000
2017	9000
2018	9400
2019	9000
2020	10000
