Jmol.___JmolDate="$Date: 2020-05-27 14:50:46 -0500 (Wed, 27 May 2020) $"
Jmol.___fullJmolProperties="src/org/jmol/viewer/Jmol.properties"
Jmol.___JmolVersion="14.31.2"