change file 10131.cpp