print<> read<> ticket<> file<>