Существует множество API для произвольного доступа к файлам. Все они практически не подходят для работы с текстовыми файлами.
Подумайте, если вместо изменения 1 цифры вы изменили с 1 на 2, то есть с 1 "на" 20 ", вам придется реализовать не только" эффективный "способ произвольного доступа, но и" неэффективный " переписать файл так, как вам нужно, так как вам действительно нужен только один способ, «неэффективный» - тот, к которому можно обратиться.