Update 712.cpp