171
171
"&func2=" + document.getElementById("function_2").value;
172
172
string = string + "&suppress_common=" +
173
173
document.getElementById('suppress_common').checked.toString();
176
178
var xmlhttp = new XMLHttpRequest();
177
179
xmlhttp.open("GET", string, true);