Changed to use 64 bit value for recordnumbers