import org.w3c.dom.*;
import org.apache.xerces.parsers.DOMParser;

public class DOMCountNames
{
    public static void main(String[] args)
	{
	    try {
		DOMParser parser = new DOMParser();
		parser.parse(args[0]);
		Document doc = parser.getDocument();
		NodeList nodelist = doc.getElementsByTagName("student");
		System.out.println(args[0] + " has " + nodelist.getLength() + 
				   " <student> elements.");

	    } catch (Exception e) {
		e.printStackTrace(System.err);
	    }
	}
}