Update 10258.cpp