These statistics were produced by getstats