What was Marios origanal name?

The answer is Mario Mario :P

Edit: In the Japanese version of Donkey Kong Mario's name was Jumpman.