update pro12.cpp