ex1707.rb