Year Personnel 1985 4100 1989 4000 1990 4000 1991 4000 1992 4000 1993 4000 1994 5000 1995 9000 1996 9100 1997 9050 1998 9050 1999 8750 2000 8800 2001 9700 2002 10700 2003 10700 2004 10000 2005 11000 2006 9000 2007 9000 2008 9000 2009 9250 2010 9250 2011 9250 2012 9250 2013 9250 2014 9250 2015 9250 2016 12100 2017 8000 2018 8200 2019 8000 2020 8000