16 |
var r = element_id('results'); |
var r = element_id('results'); |
17 |
if (r) { |
if (r) { |
18 |
var e = document.createElement("a"); |
var e = document.createElement("a"); |
19 |
e.setAttribute("href","thes/"+arr[1]+".html"); |
e.setAttribute("href","browse.html?o="+arr[1]); |
|
//e.setAttribute("target","_blank"); |
|
20 |
e.appendChild(document.createTextNode(arr[0])); |
e.appendChild(document.createTextNode(arr[0])); |
21 |
r.appendChild(e); |
r.appendChild(e); |
22 |
|
|
23 |
r.appendChild(document.createTextNode(" ")); |
r.appendChild(document.createTextNode(" ")); |
24 |
|
|
25 |
e = document.createElement("a"); |
e = document.createElement("a"); |
26 |
e.setAttribute("href","browse.html?o="+arr[1]); |
e.setAttribute("href","thes/"+arr[1]+".html"); |
27 |
|
//e.setAttribute("target","_blank"); |
28 |
e.appendChild(document.createTextNode(">>")); |
e.appendChild(document.createTextNode(">>")); |
29 |
r.appendChild(e); |
r.appendChild(e); |
30 |
|
|