["4","6","17","19","20"]