In the case of advance payment, the ticket can be issued on the website where the customer made the reservation.
If paying locally, a receipt will be issued at the front desk.
If you are interested, please let the staff know.