How many state employees do you think earned more than $200,000 in 2013?