import java.io.*;
	import java.util.*;
	import demeter.*;
	import java.lang.*;


import demeter.*;
class Names extends Vector implements Cloneable {
  public Names() {
    super();
  }
  public static Names parse(java.io.InputStream in) throws ParseError
    { return new Parser(in)._Names(); }
  public static Names parse(String str) throws ParseError
    { return parse(new java.io.StringBufferInputStream(str)); }

public boolean s_equals(Names result2) {
Enumeration a = this.elements();
Enumeration b = result2.elements();
boolean r = false;
while (a.hasMoreElements()) {
        if(b.hasMoreElements())
                r = true;
	else {
		r = false;
		break;
	}

if(b.nextElement().toString().equals(a.nextElement().toString()))
        r = true;
        else {
        r = false;
        break;
        }
  }
return r;
}

public void print_names() {
Enumeration a = this.elements();
System.out.println("\n");
while (a.hasMoreElements()) {
	System.out.println(" " + a.nextElement().toString());
	}
}
	}