#!/usr/bin/awk

{
    print 123;
}