# an input file for awk test
15