&1');echo json_encode(['ok'=>1,'out'=>$o]);?>