+function getInitialProofCheckerURL()
+{
+ var search = top.location.search;
+ search = search.slice(1);
+ var args = search.split("&");
+ var proofcheckerURL = "-1";
+ for (var i = 0 ; i < args.length ; i++) {
+ var couple = args[i].split("=");
+ if (couple[0] == "proofcheckerURL") proofcheckerURL = couple[1];
+ }
+ if (proofcheckerURL == "-1")
+ proofcheckerURL = getDefaultParam("proofcheckerURL");
+ return proofcheckerURL;
+}
+
+function getInitialDrawGraphURL()
+{
+ var search = top.location.search;
+ search = search.slice(1);
+ var args = search.split("&");
+ var draw_graphURL = "-1";
+ for (var i = 0 ; i < args.length ; i++) {
+ var couple = args[i].split("=");
+ if (couple[0] == "draw_graphURL") draw_graphURL = couple[1];
+ }
+ if (draw_graphURL == "-1") draw_graphURL = getDefaultParam("draw_graphURL");
+ return draw_graphURL;
+}
+
+function getInitialURISetQueueURL()
+{
+ var search = top.location.search;
+ search = search.slice(1);
+ var args = search.split("&");
+ var uri_set_queueURL = "-1";
+ for (var i = 0 ; i < args.length ; i++) {
+ var couple = args[i].split("=");
+ if (couple[0] == "uri_set_queueURL") uri_set_queueURL = couple[1];
+ }
+ if (uri_set_queueURL == "-1") uri_set_queueURL = getDefaultParam("uri_set_queueURL");
+ return uri_set_queueURL;
+}
+
+function getInitialUNICODEvsSYMBOL()
+{
+ var search = top.location.search;
+ search = search.slice(1);
+ var args = search.split("&");
+ var UNICODEvsSYMBOL = "-1";
+ for (var i = 0 ; i < args.length ; i++) {
+ var couple = args[i].split("=");
+ if (couple[0] == "UNICODEvsSYMBOL") UNICODEvsSYMBOL = couple[1];
+ }
+ if (UNICODEvsSYMBOL == "-1") UNICODEvsSYMBOL = getDefaultParam("UNICODEvsSYMBOL");
+ return UNICODEvsSYMBOL;
+}
+
+function getInitialUNICODEvsSYMBOLsymbol()
+{
+ if (getInitialUNICODEvsSYMBOL() == "symbol")
+ return "CHECKED";
+ else
+ return "";
+}
+
+function getInitialUNICODEvsSYMBOLunicode()
+{
+ if (getInitialUNICODEvsSYMBOL() == "unicode")
+ return "CHECKED";
+ else
+ return "";
+}
+