public void reset_statistics( string [] server_names ) { this.Invoke("reset_statistics", new object [] { server_names}); }