The ReadNextInteger(file) command attempts to read an integer from file. The ReadNextInteger function skips non-numeric characters until a valid integer is found. The integer is read from file and returned. If no characters form a valid integer, then NULL is returned. In this case, the file is read to the end of the file.