<% print file %>

<% foreach lines %> <% print %5d lineno %>: <% print line %>
<% end %>