
// ***********************************************************************
  
public class Vertex//refines 
{
    public int VertexNumber;

    public void display( ) 
    {
        System.Console.Out.Write( " # "+ VertexNumber + " " );
        original( );
    }
}
