printLog(log, "")
log.close()


# end of file