What can you divide to get 17?