The names of Mario and Luigi are Mario Mario and Luigi Mario