Year Personnel 1985 40400 1992 65000 1993 65000 1994 65000 1995 86500 1996 67500 1997 67500 1998 67500 1999 67500 2000 67500 2001 40500 2002 27000 2003 22000 2004 21500 2005 22500 2006 11500 2007 14500 2008 14500 2009 14745 2010 14745 2011 14750 2012 14750 2013 8500 2014 8500 2015 8500 2016 8500 2017 9000 2018 9000 2019 8000 2020 8000