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