#!/bin/awk -f