5 function inputFileKey(problem_name) {  argument
6     $realInputField = document.getElementById("code-" + problem_name);
9 function changeFilePath(problem_name) {  argument
10     $realInputField = document.getElementById("code-" + problem_name);
11     document.getElementById("code-file-" + problem_name).value = $realInputField.files[0].name;
18 function resultRefresh(problem_name, type, user) {  argument
26                 questions: problem_name
29 …             document.getElementById("scoreboard-row-" + problem_name.toString()).innerHTML = data;
41                 problem_name: problem_name,
45                 document.getElementById("result-row-" + problem_name).innerHTML = data;
52 var problem_name;  variable
60 function submitKey(problem_name, user, language, type, runtime, path) {  argument
65     window["problem_name"] = problem_name;
71     window["problem_name_id"] = problem_name.replace(/:/g, "\\:");
73     if (type === "output-only" && !document.getElementById("user-output-" + problem_name).value) {
74 …   document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];
75 …document.getElementById("result-" + problem_name).innerHTML = LANG.plugins.judge['answer_not_speci…
76         document.getElementById("result-" + problem_name).className = "false";
79     if (type === "test-case" && !document.getElementById("code-file-" + problem_name).value) {
80 …   document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];
81 …document.getElementById("result-" + problem_name).innerHTML = LANG.plugins.judge['file_not_specifi…
82         document.getElementById("result-" + problem_name).className = "false";
88             window["language"] = document.getElementById("language-" + problem_name).value;
108                 file_name: document.getElementById("code-" + problem_name).files[0].name
112 …   document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];
113                     document.getElementById("result-" + problem_name).innerHTML = data;
114                     document.getElementById("result-" + problem_name).className = "false";
122     r.readAsText(document.getElementById("code-" + problem_name).files[0]);
136             problem_name: problem_name,
159             user_output: document.getElementById("user-output-" + problem_name).value,
160             problem_name: problem_name
187 …document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['answer_sta…
188     document.getElementById("result-" + problem_name).innerHTML = $fa_name;
189     document.getElementById("result-" + problem_name).className = $name;
198             problem_name: problem_name,
219     document.getElementById("result-row-" + problem_name).innerHTML += new_row;
236     r.readAsText(document.getElementById("code-" + problem_name).files[0]);