python如何向文件特定位置插入一个字符串
如题，比如：
有文件a.txt，内容为“abc”；如何将其内容改为“123abc”。
初学python比较纠结，求解救。
[解决办法]
file = open( "test.txt", "r" )
content = file.read()
file.close()
pos = content.find( "abc" )
if pos != -1:
content = content[:pos] + "123" + content[pos:]
file = open( "test.txt", "w" )
file.write( content )
file.close()
print "替换了"
