Is the ticket for the cableway? How much is the ticket if you don’t take the cable car?