new file:   1258.cpp