ARGF = open('ha')