if (format == "types") ext = ".types"
else if (format == "ann") ext = ".ann";
url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
if (format == "types") ext = ".types"
else if (format == "ann") ext = ".ann";
url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
} else {
if (format == "html" && type == "cic") {
keys = "C1,HC2,L¶m.processorURL=" + escape(processorURL) +
} else {
if (format == "html" && type == "cic") {
keys = "C1,HC2,L¶m.processorURL=" + escape(processorURL) +