<script type="text/javascript">
	<!--




function randomQuery(){
  window.location="query.php?threshold="+document.getElementById("threshold").value
}

//-->
  </script>
  
  <h3> Menu </h3>
  
  <a href="main.php">Home</a><br />
  <br />
  <a href="logout.php">Logout</a><br />
  <br />
  <hr />

  <a href="insert.php">Insert Words</a><br />
  <br />
  <a href="query.php">Query Words</a><br />
  <br />
  <a href="javascript:randomQuery()">Random Query Words<br /> with box <= </a>
  <input id="threshold" type="text" onFocus="this.select()" value=0 size=3 maxlength=2>
   
   <br />
  <br />
  <br />
  <a href="language.php">Language Settings</a><br />
  <br />
  <br />
  <br />