You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named sodium;3-carboxybicyclo[2.2.1]hept-5-ene-2-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C9H9NaO4
assistant