{"result":{"text":"straight real numbers"},"status":"ok"}