Update ex12_7.cpp