When was Mario born?