Year	Personnel
1985	35100
1989	40000
1990	35000
1991	35000
1992	35000
1993	35000
1994	35000
1995	58500
1996	58000
1997	47000
1998	47000
1999	47000
2000	47000
2001	47000
2002	47000
2003	47000
2004	47000
2005	47000
2006	48000
2007	48000
2008	48000
2009	47800
2010	47800
2011	47800
2012	47800
2013	47800
2014	47800
2015	47800
2016	47800
2017	48000
2018	47800
2019	48000
2020	48000