0) { okButton.label = okButton.data + " (" + count + ")"; } else { okButton.enabled = true; okButton.label = okButton.data.toString(); } } ]]>