$newfile = "0001";                       # Initialize to 0001
$newfile = sprintf("%04d", $newfile+1);  # Now contains 0002