code: @Override
  	public RecordId getDataRecordId() {
  		long blkNum = (Long) rf.getVal(SCHEMA_RID_BLOCK).asJavaVal();
  		int id = (Integer) rf.getVal(SCHEMA_RID_ID).asJavaVal();
  		return new RecordId(new BlockId(dataFileName, blkNum), id);
  	}
docs: Retrieves the data record ID from the current index record.
  
  @see Index#getDataRecordId()