ex0714.rb -> ex0717.rb added