Year	Personnel
1985	13700
1989	13000
1990	13000
1991	13000
1992	13000
1993	13000
1994	17000
1995	12900
1996	12700
1997	12700
1998	11500
1999	11500
2000	11500
2001	10500
2002	10500
2003	10400
2004	10000
2005	10000
2006	10000
2007	10000
2008	10000
2009	10460
2010	10460
2011	8900
2012	9350
2013	9350
2014	9100
2015	9100
2016	9100
2017	9000
2018	8650
2019	9000
2020	9000