public class OEnd extends AODigit {
	// We do nothing!!
	public void increment(){ }
	public String toString(){ return(""); }
	public OEnd(){ }
}