System.out.println(System.currentTimeMillis() + ": " + "RXTXPort:getInputBufferSize()");
z.reportln( "RXTXPort:getInputBufferSize() called and returning " + InputBuffer );
	public int getInputBufferSize()	{		if (debug)			System.out.println(System.currentTimeMillis() + ": " + "RXTXPort:getInputBufferSize()");		return(InputBuffer);	}