{ e.doit = ( "0123456789".indexOf( e.text ) >= 0 ); }
{ try { Integer.parseInt( e.text ); e.doit = true; } catch ( Exception _ ) { e.doit = false; } }
			public void verifyText( VerifyEvent e )			{				e.doit = ( "0123456789".indexOf( e.text ) >= 0 );			}