#!/usr/bin/awk -f
echo hi