title: get the user input in awk
body: <p>Is there any way to read the user input through the awk programming?
  I try writing a script to read a file which contained student's name and ID.
  I have to get the name of the student from the user through the keyboard and return all student's results by using the awk.</p>