#!/bin/awk
BEGIN{

    print "abc;"
}