john average (143.546)