X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fgenid.html;h=1ca94c4cfcf73e043c4ebc2dcf1d784b06e59b88;hb=02a075a57f4e40ff34b7ae1351ab77c32d0d427b;hp=8883ca369e03bef96f2c283d443043807b249f54;hpb=f56fe02e31003418cf9dbe3a472fe665acbbf4f5;p=helm.git

diff --git a/helm/searchEngine/html/genid.html b/helm/searchEngine/html/genid.html
index 8883ca369..1ca94c4cf 100644
--- a/helm/searchEngine/html/genid.html
+++ b/helm/searchEngine/html/genid.html
@@ -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);