FNR <= 5 { print FILENAME ": " $0; }