which file the user history is stored when exiting a Bash process?

Which Bash environment variable defines in which file the user history is stored when
exiting a Bash process? (Specify ONLY the variable name.)

A.
HISTFILE