public int getHeight()
{
   return root.getHeight();
} // end getHeight

public int getNumberOfNodes()
{
   return root.getNumberOfNodes();
} // end getNumberOfNodes
// Version 4.0