#342: load_dataset.php, add 'print json_encode(arr_results)'