Updated 12.cpp and 13.cpp