___JmolDate="$Date: 2013-06-20 09:58:27 -0500 (Thu, 20 Jun 2013) $"
___fullJmolProperties="src/org/jmol/viewer/Jmol.properties"
___JmolVersion="13.1.17_dev_2013.06.20"
