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 . 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;}
