Combien l'hotel mario?