["4", "15", "8", "12", "20", "17", "6", "7"]