5 |
<head> |
<head> |
6 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
7 |
<title>HIDRA Eurovoc CD</title> |
<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> |
<script src="js/getargs.js" type="text/javascript"></script> |
10 |
<script src="js/search.js" type="text/javascript"></script> |
<script src="js/search.js" type="text/javascript"></script> |
11 |
<script src="js/usage.js" type="text/javascript"></script> |
<script src="js/usage.js" type="text/javascript"></script> |
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) { |