#!/usr/bin/awk -f

BEGIN{
print "aab;"
}