And he brought out the people that were in it, and put them to work with saws, and with picks of iron, and with axes. Even so dealt David with all the cities of the children of Ammon. And David and all the people returned to Jerusalem.