The SDQ-PUJ-CDG flight specifically. If so, do you remember whether the US$20 exit tax was included in the ticket or whether it had to be paid on departure?