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