public ExtendedFormatRecord getExFormatAt(int index) {int xfptr = records.getXfpos() - (numxfs - 1);xfptr += index;return ( ExtendedFormatRecord ) records.get(xfptr);}
public ExtendedFormatRecord GetExFormatAt(int index){int xfptr = records.Xfpos - (numxfs - 1);xfptr += index;ExtendedFormatRecord retval =(ExtendedFormatRecord)records[xfptr];return retval;}