print FILE @lines;