["2","12","16","19","20"]