pages.getBuffers(), pages.getUsedBuffers(), pages.getHits(), pages.getFails());
dataCache.getBuffers(), dataCache.getUsedBuffers(), dataCache.getHits(), dataCache.getFails());
	public BufferStats getDataBufferStats() {		if(pages != null)			return new BufferStats(				pages.getBuffers(),				pages.getUsedBuffers(),				pages.getHits(),				pages.getFails());		return null;	}