function initArray(){
this.length=initArray.arguments.length;
for (var i=0;i<this.length;i++){
this[i]=initArray.arguments[i];
}
}
var sr=new initArray("4b","5b","8b","8b");
function doSrch(){
if (sr[0]=="4b"){
parStr();
}
findw = parent.main.document.searcher.findword.value
findw=findw.toLowerCase();
disp = "";
document.write('<HTML><BODY BGCOLOR="white">'
+'<FORM NAME="isn"><TABLE BORDER=0 '
+'WIDTH=100%><TR><TD VALIGN=TOP></TD><TD></tr><SE'
+'LECT NAME="isn1" SIZE=6>');
flg=2; // Set flag to "no matches found"
for (i=0;i<stp;i++){
fold=sr[i].toLowerCase();
if (fold.indexOf(findw)>-1){
pos=sr[i].indexOf("~");
pos1=sr[i].indexOf("|");
disp="<OPTION VALUE='"+sr[i].substring(0,pos);
if (flg!=3){
//  disp+='<TD><SELECT NAME="isn1" SIZE=6>'+disp;
disp+="' onClick='' SELECTED>";
}
else{
disp+="' onClick=''>";
}
disp+=sr[i].substring(pos+1,pos1);
document.write(disp);
flg=3; // Set flag to "matches found"
}
}
if (flg!=2)
{
document.write('</SELECT><tr><td valign=top" '
+'><INPUT TYPE="button" NAME="button" Value'
+'="<Selezionare e cliccare Qui - Select and Click Here>" onClick="doloc(this.fo'
+'rm)"><BR>');
}
document.write('<BR><FONT COLOR="red"><B>');
if (flg!=3){
document.write('</TD><TD VALIGN=CENTER><FONT '
+'COLOR="red"><B><BR>Mi dispiace. Non ho trovato nessun'
+' termine"'+findw+'".<P>Provate a ricercare'
+' un altro termine!</B></FONT>');
}
else{
document.write('La selezione è'
+' stata trovata usando la parola "'+findw+'".');
}
document.write('</B></FONT></TD></TR></TABLE>'
+'</FORM></BODY></HTML><P>');
}
function parStr() {
srs=parent.find;
var i=0;
while (srs.indexOf("*")>0) {
pos=srs.indexOf("*");
sr[i]=srs.substring(0,pos);
srs=srs.substring(pos+1,srs.length);
i++;
stp=i;
}
}
function doloc() {
durl=(document.isn.isn1.options[document.isn.isn1.selectedIndex].value);
/* This next line will target the selection
to the main pane of your frameset. */
parent.location.href=durl;
parent.main.location.href=durl;
/* But if you wish to target the selection to the top
(just as you would use <A HREF="filenm" TARGET="_top"> <A HREF="filenm" TARGET="_blank">)
simply uncomment this next line and use it instead:
parent.location.href=durl; 
parent.main.location.href=durl;
and comment out the line now being used above. */
}