["6","9","16","19","20"]