#! /bin/awk
