OKdoki functions on top of JSON_Applet.