What astros players from the 2017 world series are still with the team?

	NAME	SERIES	G	AB	R	H	2B	3B	HR	RBI	BB	HBP	SO	SB	CS	PA	TB	XBH	SH	SF	IBB	GIDP	AVG	OBP	SLG	OPS
1	Jose Altuve J. Altuve	World Series	26	117	19	30	8	0	4	9	3	0	22	4	2	121	50	12	0	1	0	5	.256	.273	.427	.700
2	Carlos Beltran C. Beltran	World Series	3	3	0	0	0	0	0	0	0	0	1	0	0	3	0	0	0	0	0	0	.000	.000	.000	.000
3	Alex Bregman A. Bregman	World Series	26	101	14	20	5	0	6	19	10	2	20	2	0	115	43	11	0	2	1	2	.198	.278	.426	.704
4	Carlos Correa C. Correa	World Series	20	79	7	20	4	0	3	12	5	1	17	0	0	85	33	7	0	0	0	2	.253	.306	.418	.724
5	Chris Devenski C. Devenski	World Series	4	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
6	Marwin Gonzalez M. Gonzalez	World Series	11	28	3	6	2	0	1	4	4	0	7	0	0	32	11	3	0	0	2	1	.214	.313	.393	.705
7	Yuli Gurriel Y. Gurriel	World Series	25	98	9	27	6	0	3	12	6	0	15	2	0	104	42	9	0	0	2	1	.276	.317	.429	.746
8	Dallas Keuchel D. Keuchel	World Series	1	2	0	0	0	0	0	0	0	0	2	0	0	2	0	0	0	0	0	0	.000	.000	.000	.000
9	Brian McCann B. McCann	World Series	7	25	2	5	0	0	1	2	1	2	8	0	0	28	8	1	0	0	0	1	.200	.286	.320	.606
10	Brad Peacock B. Peacock	World Series	4	1	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	.000	.000	.000	.000
11	Josh Reddick J. Reddick	World Series	12	38	3	7	1	0	0	1	3	0	7	0	0	41	8	1	0	0	1	2	.184	.244	.211	.454
12	George Springer G. Springer	World Series	14	56	14	19	7	0	7	11	12	0	13	2	0	68	47	14	0	0	1	0	.339	.456	.839	1.295
13	Evan Gattis E. Gattis	World Series	6	10	1	3	0	0	0	0	5	0	0	0	0	15	3	0	0	0	2	0	.300	.533	.300	.833
14	Ken Giles K. Giles	World Series	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
15	Will Harris W. Harris	World Series	3	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
16	Cameron Maybin C. Maybin	World Series	3	3	1	1	0	0	0	0	0	0	1	1	0	3	1	0	0	0	0	0	.333	.333	.333	.667
17	Joe Musgrove J. Musgrove	World Series	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
18	Justin Verlander J. Verlander	World Series	2	3	0	0	0	0	0	0	0	0	3	0	0	4	0	0	1	0	0	0	.000	.000	.000	.000
19	Lance McCullers Jr. L. McCullers Jr.	World Series	1	1	0	0	0	0	0	1	0	0	0	0	0	1	0	0	0	0	0	0	.000	.000	.000	.000
20	Charlie Morton C. Morton	World Series	1	1	0	0	0	0	0	0	0	0	1	0	0	1	0	0	0	0	0	0	.000	.000	.000	.000
21	Derek Fisher D. Fisher	World Series	2	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
22	Luke Gregerson L. Gregerson	World Series	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
23	Collin McHugh C. McHugh	World Series	0
24	Francisco Liriano F. Liriano	World Series	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
25	Michael Brantley M. Brantley	World Series	13	52	4	17	2	0	0	3	7	0	7	1	0	59	19	2	0	0	2	2	.327	.407	.365	.772