马里奥的别名有哪些名字