["12", "20", "4", "8", "15", "7", "18", "3"]