NameId.java

import java.util.*;
import Jakarta.util.FixDosOutputStream;
import Jakarta.util.Util2;
import java.io.*;

public class NameId {
    public String GetName() {
        return tok[0].tokenName();
    }
}