Перевод строки в число :(

Что есть.
Есть файл 12.txt

Необходимо его переименовать в 13.txt

Как мыслю....
1. считываем имя файла
2. переводим строку с именем файла в числовое значение
3. прибавляем еденицу
4. переименовываем файл

Вопрос: как реализовать пункт №2 ?

Подскажите пожайлуста.
Может быть есть другой способ решения этой проблемы?

Заранее благодарен.

[YA]

my $file_name="12.txt";
$file_name=(($file_name=~/^(\\d+)/)[0]+1).\'.txt\';

Вроде так. Подойдет?

[YA]

А лучше так:

my $file_name="12.txt";
$file_name=~s/^(\\d+)/$1+1/e;

[Green Kakadu]

а еще, стоит проверить:

if($file_name=~/^(\\d+)/){$file_name=($1+1).\'.txt\';}
else {print "Error!";}

[YA]

Green Kakadu
Ну я предполагал, что в переменной $file_name уже нужное имя в точно известном формате.