>>718490120
His first name is Mario, and his last name is Mario.
His full name is Mario Mario.
Would Pauline's full name be Pauline Mario?
We must wait and see.