What is The Origin Of The Name Of The Video Game Mario?

The video game character Mario was originally called Jumpman. The name comes from the owner of the premises where Nintendo America was then established, a certain Mario Segali. The job of what would become the favorite Nintendo character was also carpenter at the time, not plumber.