The General Ticketing Machine provides a convenient way for commuters to top-up their transport cards. The General Ticketing Machine uses VKP80IISX to print a ticket receipt.