#!/usr/local/bin/awk -f
BEGIN{

    print "abc;"
}