Update 12.4.cpp