41 |
<form id="search" onsubmit="return go(this);"> |
<form id="search" onsubmit="return go(this);"> |
42 |
<script type="text/javascript"> |
<script type="text/javascript"> |
43 |
document.write('<select name="index_name">'); |
document.write('<select name="index_name">'); |
44 |
select_option("index/DescriptorHR","Hrvatski",args.index_name); |
var index = 'index/DescriptorHR'; |
45 |
select_option("index/DescriptorEN","Engleski",args.index_name); |
if (args && args.index_name) index = args.index_name; |
46 |
select_option("index/DescriptorFR","Francuski",args.index_name); |
select_option("index/DescriptorHR","Hrvatski",index); |
47 |
select_option("index/DescriptorGE","Njemački",args.index_name); |
select_option("index/DescriptorEN","Engleski",index); |
48 |
select_option("index/AllThes","Sve riječi",args.index_name); |
select_option("index/DescriptorFR","Francuski",index); |
49 |
|
select_option("index/DescriptorGE","Njemački",index); |
50 |
|
select_option("index/AllThes","Sve riječi",index); |
51 |
document.write('</select>'); |
document.write('</select>'); |
52 |
</script> |
</script> |
53 |
<script type="text/javascript"> |
<script type="text/javascript"> |
68 |
|
|
69 |
if (args.query) { |
if (args.query) { |
70 |
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
71 |
doSearch(args.index_name, args.query, printResults); |
doSearch(index, args.query, printResults); |
72 |
} |
} |
73 |
|
|
74 |
</script> |
</script> |