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