What do I have to do to convert a child’s ticket into an adult’s ticket?

At the ticket booths at the entrance you can pay a supplement to convert a child’s ticket to an adult ticket.