string s = "1234@@chenadai";
string str = "12345";
s.replace(1, 5, str);
cout << str << endl;