#!/usr/bin/awk

BEGIN{
    print 123;
}