1 |
<!DOCTYPE html PUBLIC |
2 |
"-//W3C//DTD XHTML 1.0 Strict//EN" |
3 |
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
4 |
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="hr" lang="hr"> |
5 |
<head> |
6 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
7 |
<title>HIDRA Eurovoc CD</title> |
8 |
<script src="js/l2_unescape.js" type="text/javascript"></script> |
9 |
<script src="js/getargs.js" type="text/javascript"></script> |
10 |
<script src="js/search.js" type="text/javascript"></script> |
11 |
<script src="js/usage.js" type="text/javascript"></script> |
12 |
</head> |
13 |
|
14 |
<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 |
<div> |
23 |
|
24 |
<script type="text/javascript"> |
25 |
var args=getArgs(); |
26 |
function select_option(value,text,selected) { |
27 |
document.write('<option value="'+value+'"'); |
28 |
if (value == selected) document.write(' selected'); |
29 |
document.write('>'+text+'</option>'); |
30 |
} |
31 |
</script> |
32 |
|
33 |
<form name="search" onsubmit="return go(this);"> |
34 |
<script type="text/javascript"> |
35 |
document.write('<select name="index_name">'); |
36 |
select_option("index/DescriptorHR","Hrvatski",args.index_name); |
37 |
select_option("index/DescriptorEN","Engleski",args.index_name); |
38 |
select_option("index/DescriptorFR","Francuski",args.index_name); |
39 |
select_option("index/DescriptorGE","Njemaèki",args.index_name); |
40 |
select_option("index/AllThes","Sve rijeèi",args.index_name); |
41 |
document.write('</select>'); |
42 |
</script> |
43 |
<script type="text/javascript"> |
44 |
document.write("<input name=\"query\" value=\""); |
45 |
|
46 |
if (args.query) { |
47 |
var search_string = args.query.replace(/\+/gi," "); |
48 |
document.write(search_string); |
49 |
} |
50 |
|
51 |
document.write("\" type=\"text\" size=\"30\"/>\n"); |
52 |
</script> |
53 |
|
54 |
<input type="SUBMIT" value="Pretra¾i"/><br/> |
55 |
</form> |
56 |
|
57 |
<script type="text/javascript"> |
58 |
|
59 |
if (args.query) { |
60 |
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
61 |
doSearch(args.index_name, args.query, printResults); |
62 |
} |
63 |
|
64 |
</script> |
65 |
|
66 |
</div> |
67 |
|
68 |
</body> |
69 |
</html> |