13 |
|
|
14 |
<body> |
<body> |
15 |
|
|
16 |
|
<span style="background: #e0e0e0;"> |
17 |
|
<a href="search.html"><b>search</b></a> | |
18 |
|
<a href="thesaurus.html">thesarus</a> | |
19 |
|
<a href="browse.html">browse</a> |
20 |
|
</span> |
21 |
|
|
22 |
<script type="text/javascript"> |
<script type="text/javascript"> |
23 |
var args=getArgs(); |
var args=getArgs(); |
24 |
function select_option(value,text,selected) { |
function select_option(value,text,selected) { |
52 |
<input type="SUBMIT" value="Pretraži"/><br/> |
<input type="SUBMIT" value="Pretraži"/><br/> |
53 |
</form> |
</form> |
54 |
|
|
|
<a href="bfilter/bfilter.html">thesarus</a> |
|
|
<a href="browse.html">browse</a> |
|
|
|
|
55 |
<script type="text/javascript"> |
<script type="text/javascript"> |
56 |
|
|
57 |
if (args.query) { |
if (args.query) { |