python
filetosearch = ‘/src/irc/core/irc-servers.c
texttoreplace = ‘510’
texttoinsert = ‘51000’

s = open(filetosearch).read()
s = s.replace(texttoreplace, texttoinsert)
f = open(filetosearch, 'w')
f.write(s)
f.close()
quit()