helm/searchEngine/html/query_choice.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 function armageddon()
   5         {
   6         top.initialize();
   7         top.window.open(top.topurl+top.action+"start.html","qw");
   8         top.window.open(top.topurl+top.action+"blank.html","cw");
   9         top.window.open(top.topurl+top.action+"blank.html","hw");
  10         top.window.open(top.topurl+top.action+"blank.html","gw");
  11         top.window.open(top.topurl+top.action+"blank.html","sw");
  12         }
  13 </SCRIPT>
  14 </HEAD>
  15 <BODY>
  16 <form>
  17 <table><tr><td>
  18       <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'loc_obj.html';top.qw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'blank.html';top.gw.location=top.topurl+top.action+'blank.html';parent.toq=1;this.blur();"> Locate Object<br>
  19       <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.current_query='matchConclusion';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=2;this.blur();"> Match Conclusion<br>
  20       <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.current_query='searchPattern';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=3;this.blur();"> Search Pattern<br>
  21       <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.current_query='locateInductivePrinciple';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=3;this.blur();"> Locate Inductive Principle
  22 </td>
  23 </tr></table>
  24 </form>
  25 <SCRIPT language="Javascript">
  26 if (top.ricordaliaslist==1)
  27         {
  28         window.open(top.topurl+top.action+"expr.html","bw");parent.mcq="<font color=\"#ff0000\">[Expr]</font>";
  29         top.qw.document.close();top.qw.document.write("<font color=\"#ff0000\">[Expr]</font>");
  30         }
  31 </script>
  32 </BODY>
  33 </HTML>