static public void ShowTimer (TimerType which, string msg) { Console.WriteLine ( "[{0:00}:{1:000}] {2} (used {3} times)", (int) timers [(int) which].TotalSeconds, timers [(int) which].Milliseconds, msg, timer_counters [(int) which]); } }