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

    print "abc;"
}