Just a couple corrections to SG's answer:
"substr()" takes the input string as the first argument; also, since you want all the remaining characters after "INT", the length argument is not necessary.
Using "+" to 'add" string values will give an integer result. Since the first character will be "I" (alphabetic), the integer value will cast to "0" (numeric).
So:
$value = substr('INT10000', 3);
$value++;
$newid = "INT" . $value;
echo $newid; // "INT10001"