out.print( text );
if ( !markLineNumber ) { out.print( text ); return; }  int len = text.length( ); for ( int i = 0; i < len; i++ ) { char c = text.charAt( i ); if ( c == '\n' ) printLine( ); else out.print( c ); }
	public void literal( String text )	{		out.print( text );	}