<?php
$name = "abc";
$counter = 1;
$oldcounter = substr($name, $pos + 1); $counter = $oldcounter + 1;
$name = substr($name, 0, $pos); }
}
$newname = $name . '_' . $counter;
print $newname;
?>
PD9waHAKJG5hbWUgPSAiYWJjIjsKCiRjb3VudGVyID0gMTsKaWYoJHBvcyA9IHN0cnJwb3MoJG5hbWUsICdfJykpIHsKICAgICRvbGRjb3VudGVyID0gc3Vic3RyKCRuYW1lLCAkcG9zICsgMSk7CiAgICBpZihpc19udW1lcmljKCRvbGRjb3VudGVyKSl7CiAgICAgICAgJGNvdW50ZXIgPSAkb2xkY291bnRlciArIDE7CiAgICAgICAgJG5hbWUgPSBzdWJzdHIoJG5hbWUsIDAsICRwb3MpOwogICAgfQp9CgokbmV3bmFtZSA9ICRuYW1lIC4gJ18nIC4gJGNvdW50ZXI7CgpwcmludCAkbmV3bmFtZTsKPz4=