["1217","1193","865","943"]