no clue where you are getting those numbers from. I think you are counting senior status judges in there.
Yep, just checked again and that included the senior judges.