3 |
<head> |
<head> |
4 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
5 |
<script type="text/javascript" src="bfilter/bfilter.js"></script> |
<script type="text/javascript" src="bfilter/bfilter.js"></script> |
6 |
|
<script type="text/javascript" src="js/popup.js"></script> |
7 |
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script> |
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script> |
8 |
<script type="text/javascript"> |
<script type="text/javascript"> |
9 |
|
|
25 |
|
|
26 |
e = self.document.createElement("a"); |
e = self.document.createElement("a"); |
27 |
e.setAttribute("href","thes/"+arr[1]+".html"); |
e.setAttribute("href","thes/"+arr[1]+".html"); |
28 |
//e.setAttribute("target","_blank"); |
e.setAttribute("target","popup"); |
29 |
e.appendChild(self.document.createTextNode(">>")); |
e.onclick = function() { return popup(e) }; |
30 |
|
e.appendChild(self.document.createTextNode("\u00bb")); |
31 |
r.appendChild(e); |
r.appendChild(e); |
32 |
|
|
33 |
r.appendChild(self.document.createElement("br")); |
r.appendChild(self.document.createElement("br")); |