我的程序里有一个编号,编号从1-1000不等,现在想生成一个EAN13的编码以9开头,例如,编号是22,则产生的EAN码是9000000000223,最后一位是验证码,格式就是9+自动补够13位的0+编号+验证码  请问用PHP如何编写,例如编号的变量是$bianhao
    谢谢。