var sep = applet.getSeparator();
var oldjm=jmolView;
// recover full id of Jmol applet
-// jmolView=_jmolGetApplet(jmolView).id; // Jmol 12.4
- jmolView=jmolFindTarget(jmolView).id; // Jmol 14.2.14
+ jmolView=jmolFindTarget(jmolView); // Jmol 14.2.14
var jmbinding=_jvjmols.get(jmolView);
if (!jmbinding)
{