#!/usr/bin/awk

BEGIN{
print "aab;"
}