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