Untitled

<html>
<head><title>Search SMT Libs</title>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf8">

<script type="text/javascript">

function updateandsubmit()
{
	this.document.forms['filter']['isquery'].value = '1';
	this.document.forms['filter'].submit();
	return true;
}

function setVisible()
{

	var  toshow = this.document.forms['filter']['formstoshow'].value;

	for ( i=0; i<toshow; i++ )
	{
		document.write ( "came" );
		this.document.forms['filter']['middle_filter'][i].visible = true;
		document.write(i + "<br>" );	
	}
}

</script>

</head>

<body onload="setVisible()">

<form name="filter" method="post" action="sedna.php">
<input type="hidden" name="isquery" value="0" />
<input type="hidden" name="formstoshow" value="1" />

<select name = "top_filter[]" onchange="this.form.submit()">
  <option value="Logic" selected>Logic</option>
  <option value="Update" >Update</option>
  <option value="Status" >Status</option>
</select>
<select name="middle_filter[]">
  <option value="="  >=</option>
  <option value="!="  >!=</option>
</select>
<select name="low_filter[]">
  <option value="QF_IDL"  >QF_IDL</option>
  <option value="QF_UFBV"  >QF_UFBV</option>
  <option value="QF_IDL"  >QF_IDL</option>
  <option value="QF_LRA"  >QF_LRA</option>
  <option value="QF_AULIA"  >QF_AULIA</option>
  <option value="QF_LIA"  >QF_LIA</option>
</select>

<select name = "top_filter[]" onchange="this.form.submit()">
  <option value="Logic" selected>Logic</option>
  <option value="Update" >Update</option>
  <option value="Status" >Status</option>
</select>
<select name="middle_filter[]">
  <option value="="  >=</option>
  <option value="!="  >!=</option>
</select>
<select name="low_filter[]">
  <option value="QF_IDL"  >QF_IDL</option>
  <option value="QF_UFBV"  >QF_UFBV</option>
  <option value="QF_IDL"  >QF_IDL</option>
  <option value="QF_LRA"  >QF_LRA</option>
  <option value="QF_AULIA"  >QF_AULIA</option>
  <option value="QF_LIA"  >QF_LIA</option>
</select>

<select name = "top_filter[]" onchange="this.form.submit()">
  <option value="Logic" selected>Logic</option>
  <option value="Update" >Update</option>
  <option value="Status" >Status</option>
</select>
<select name="middle_filter[]">
  <option value="="  >=</option>
  <option value="!="  >!=</option>
</select>
<select name="low_filter[]">
  <option value="QF_IDL"  >QF_IDL</option>
  <option value="QF_UFBV"  >QF_UFBV</option>
  <option value="QF_IDL"  >QF_IDL</option>
  <option value="QF_LRA"  >QF_LRA</option>
  <option value="QF_AULIA"  >QF_AULIA</option>
  <option value="QF_LIA"  >QF_LIA</option>
</select>


<p>
<input type='submit' value='Search' onClick="updateandsubmit();" />

</form>

</body>

</html>