#!@AWK@ -f

BEGIN {
  print "Hello World1-3"
  exit 0
}
