77 |
select_option("all","Sve riječi",lang); |
select_option("all","Sve riječi",lang); |
78 |
document.write('</select>'); |
document.write('</select>'); |
79 |
|
|
80 |
document.write("<input name=\"query\" value=\""); |
document.write('<input name="query" value="'); |
81 |
|
|
82 |
if (args.query) { |
if (args && args.query) { |
83 |
var search_string = args.query.replace(/\+/gi," "); |
var search_string = args.query.replace(/\+/gi," "); |
84 |
document.write(search_string); |
document.write(search_string); |
85 |
} |
} |
86 |
|
|
87 |
document.write("\" type=\"text\" size=\"30\"/>\n"); |
document.write('" type="text" size="30"/>'); |
88 |
// --> |
// --> |
89 |
</script> |
</script> |
90 |
|
|