["2","13","16","18","19","20"]