how to get the name of an open file?,print(os.path.basename(sys.argv[0]))