if ( this.currentCacheNo >= this.totalCacheNo ) this.currentCache = this.lastCache; else { LoadFromDisk( ); }
loadFromDisk( );
	public Object get( int index )	{		// If there are no cache		if ( this.totalCacheNo == 0 )		{			return this.currentCache.get( index );		}		if ( index / CACHESIZE != this.currentCacheNo )		{			this.currentCacheNo = index / CACHESIZE;			if ( this.currentCacheNo >= this.totalCacheNo )				this.currentCache = this.lastCache;			else			{				LoadFromDisk( );			}		}		return this.currentCache.get( index - this.currentCacheNo * CACHESIZE );	}