#!/bin/awk

BEGIN{
print "aab;"
}