Update ex25.rb