["5","9","12","17","19","20"]