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