Update pro9.cpp