void hoverOn(int atomIndex) {
		if ((eval == null || !isScriptExecuting()) && atomIndex != hoverAtomIndex) {
			loadShape(JmolConstants.SHAPE_HOVER);
			setShapeProperty(JmolConstants.SHAPE_HOVER, "target", new Integer(atomIndex));
			hoverAtomIndex = atomIndex;
		}
	}