Перезапись значения переменной в php файле?

Существует файл config.php в котором хранятся переменные:

$a = '1';
$b = '2';
$c = '3';

Необходимо из другого скрипта изменить значение переменной $a на '4', при этом что бы это значение изменилось именно в файле.
Заранее благодарю за ответы.