how many players weigh more than michael baumer?
13