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