- var search = top.location.search;
- search = search.slice(1);
- var args = search.split("&");
- var getterURL = "-1";
- for (var i = 0 ; i < args.length ; i++) {
- var couple = args[i].split("=");
- if (couple[0] == "getterURL") getterURL = couple[1];
- }
- if (getterURL == "-1") getterURL = getDefaultParam("getterURL");
- return getterURL;
-}
-
-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 "";