#!/usr/bin/awk -f BEGIN { print "Hello" }