System.out.println(String.format("%04d",3));//0003
System.out.println(String.format("%04d",23));//0023

------解决方案--------------------

看错了，不好意思，重新写了下，看看是不是你想要的效果】
Java code

public class insertTest
{
    public static void main(String[] args)
    {
        String A="1234";
        int B=3;
        insertTest str=new insertTest();
        System.out.print(str.f(A,B,2));
    }
    String f(String A,int B,int pos)
    {
        int n=A.length();
        String A1;
        String B1=String.format("%04d",B);
        return A1=A.substring(0,pos)+B1+A.substring(pos,n);
    }
}