#! /bin/awk