#!/usr/bin/awk -f

BEGIN {
	print "Hello World!"
}
