ex12.rb and ex13.rb