function write_found(name,url) {
  document.write('<TR><TD><font face=Arial size=2><IMG SRC="point.gif">&nbsp;<a href="../'+url+'">'+name+'</a></font></TD></TR>');
}

function find_w() {
   parent.bottom.document.searc.find.value=document.find.words.value.toLowerCase();
   if(parent.bottom.document.searc.find.value == '') {
     alert('No words entered!');
     return;
   }
//--------------------------------------------------------------------------------------
   window.location='find.htm';
 }

function num(str,n) {
  return str.charCodeAt(n)-32;
}

function word_hash(word) {
  var hash_size=100;
  var coeff=new Array();
  coeff[0]=67;
  coeff[1]=47;
  coeff[2]=88;
  coeff[3]=89;
  var l=word.length; 
  var a=(num(word,1)*coeff[0]+num(word,l/3)*coeff[1]+num(word,2*l/3)*coeff[2]+num(word,l-1)*coeff[3])%hash_size;
//  alert(a);
  return a;
}