");
} else {
if (records[i*3+1])
document.writeln("
");
else
if (searchfor.test(records[i*3].substring(records[i*3].indexOf(">"))))
document.writeln("
");
}
}
}
function make_recordindex()
{
document.writeln("
");
for (var i=1; i<=records[0] ;i++){
document.writeln("
");
if (records[i*3+2]) make_subindex(records[i*3+1],records[i*3+2]);
document.writeln("
");
}
document.writeln("
");
}
function navselect(offset)
{
navoff=offset; /* this is just some dirty trick to spare me some work, var is used in make_subindex() */
document.writeln("");
}
function heading(offset)
{
document.write("\n\n
\n\n\n");
}
function ShowScan(item)
{
/* the variable navoff is set in the navselect function, so you have to call that one first in order to avoid javascript errors */
var w = window.open('about:blank', Math.floor(Math.random()*10000), 'width=400,height=400,scrollbars,resizable');
var html = ''+item+'