#!/usr/bin/awk { print 123; }