Is this where I come to vote? I would say that during the manufacturing process he was called Jumpman, but during the time of release and distribution, he was already being called Mario. So, I don't know what the question was specifically, but he was called Jumpman first, and then Mario rather early on.