116 |
var e = document.createElement("font"); |
var e = document.createElement("font"); |
117 |
|
|
118 |
e = document.createElement("a"); |
e = document.createElement("a"); |
119 |
e.setAttribute("href",result[i].link+location.search); |
e.setAttribute("href","browse.html?o="+result[i].link+"#mfn"+result[i].link); |
|
// e.setAttribute("target","_blank"); |
|
120 |
e.appendChild(document.createTextNode(result[i].title)); |
e.appendChild(document.createTextNode(result[i].title)); |
121 |
d.appendChild(e); |
d.appendChild(e); |
122 |
d.appendChild(document.createTextNode(" ")); |
d.appendChild(document.createTextNode(" ")); |
123 |
|
|
124 |
|
e = document.createElement("a"); |
125 |
|
e.setAttribute("href","thes/"+result[i].link+".html"+location.search); |
126 |
|
// e.setAttribute("target","_blank"); |
127 |
|
e.appendChild(document.createTextNode(">>")); |
128 |
|
d.appendChild(e); |
129 |
|
/* |
130 |
e = document.createElement("font"); |
e = document.createElement("font"); |
131 |
e.setAttribute("color","gray"); |
e.setAttribute("color","gray"); |
132 |
e.appendChild(document.createTextNode("["+result[i].frequency+"]")); |
e.appendChild(document.createTextNode("["+result[i].frequency+"]")); |
133 |
d.appendChild(e); |
d.appendChild(e); |
134 |
|
*/ |
135 |
d.appendChild(document.createElement("br")); |
d.appendChild(document.createElement("br")); |
136 |
} |
} |
137 |
|
|