"; $dict_aa = dict_update_proc ($dict_aa,$id,$population); } $json_file_out = $json_file; $json_encoded = json_encode ($dict_aa); file_write_proc ($json_encoded,$json_file_out); echo "*** OK ***"; // ------------------------------------------------------------------ ?>