]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/genid.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / genid.html
index 8883ca369e03bef96f2c283d443043807b249f54..1ca94c4cfcf73e043c4ebc2dcf1d784b06e59b88 100644 (file)
@@ -4,8 +4,8 @@
 sel=2;stadd="";
 function choice()
        {
-       if (sel==0){stadd=document.form1.gen0.value;if (!parent.idcheck(document.form1.gen0.value)){stadd=""}}
-       if (sel==1){stadd=document.form1.gen1.value;if (!parent.uricheck(document.form1.gen1.value)){stadd=""}
+       if (sel==0){stadd=document.form1.gen0.value;if (!top.idcheck(document.form1.gen0.value)){stadd=""}}
+       if (sel==1){stadd=document.form1.gen1.value;if (!top.uricheck(document.form1.gen1.value)){stadd=""}
        if (stadd.substring(stadd.length-3,stadd.length)=="con"){stadd="";alert("You may not enter a Conuri.")}}
        if (sel==1 && stadd!="") {stadd=stadd+" [exp_named_subst]";}
        if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Genid]</font>",stadd);