Update ex9_13.cpp