p12 and p13 in c++