["2","5","9","11","17","20"]