int px_numrecords (resource pxdoc)
int px_numrecords
Returns the number of records in a database file. The return value of this function is identical to the element 'numrecords' in the associated array returned by px_get_info().