["3","7","9","11","16","20"]