有一部欧美电影动画片,里面的人物好象全部都是用线缝起来的,人物的名字都是数字命名的,请问电影名字是什么

主角是一个名字叫9或者11的小人，性格很胆小。当他突然醒来的时候发现地球已经灭亡了，只剩下了一个怪兽，他碰到了几个同样数字的伙伴，躲在一座教堂里，3不让他们去反抗。里面的7是个女生，很勇敢，主角跟着他去抗争。然后主角无意中激活了大魔王——一部智能机器，可以吸走他们的灵魂，并且可以生产很多智能的机器怪兽，于是他们就一起去打机器怪兽。。。。
在HBO上看到的，没看到开头，所以不知道名字，希望知道的告知一下吧。。谢谢。。。