BEGIN { print FILENAME }
END { print NR }