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