static public void StopTimer (TimerType which) { timers [(int) which] += DateTime.Now - timer_start [(int) which]; ++timer_counters [(int) which]; }