#!/usr/bin/awk -f
BEGIN {
    print "Hello, AWK World!n";
}