Jmol.___JmolDate="$Date: 2022-11-02 13:44:03 -0500 (Wed, 02 Nov 2022) $"
Jmol.___fullJmolProperties="src/org/jmol/viewer/Jmol.properties"
Jmol.___JmolVersion="14.32.80" // also 15.32.80