Update 6.13.1_11.cpp