["3","7","12","19","20","22"]