john average (142.824)