function Get(searchTerm)
	{
	var nw=document.getElementById('search_results')
	nw.innerHTML=''
	if(searchTerm.d.value.length>0)
	{
	var i=0
	var s=''
	var links=document.getElementsByTagName('a')
	for(var l=0;l<links.length;l++)
	{
	str=links[l].innerHTML
	src=links[l].href
	look=new RegExp(searchTerm.d.value,'gi')
	sim=str.match(look)
	if(sim)
	{
	i++;
	if(i<10)
	s+='&nbsp;'+i+') &nbsp;<a href="'+src+'">'+str+'</a><br />\n'
	else	
	s+=i+') <a href="'+src+'">'+str+'</a><br />\n'
	}
	}
	}
	else
	{
	return null
	}
	if(s=='')s='Sorry, <b>&#8220;'+searchTerm.d.value+'&#8221;</b> did not match any titles.'
	nw.innerHTML='<div class="search"><b>Search Results:</b><br />\n'+s+'</div>'
	}

function Enter(e) {
	// http://jennifermadden.com/javascript/stringEnterKeyDetector.html
	var characterCode
	if(e&&e.which)
	{
	e=e
	characterCode=e.which
	}
	else
	{
	e=event
	characterCode=e.keyCode
	}
	if(characterCode==13)return true
	else return false
	}

function SearchForm()
	{
	document.writeln('<form id="searchTerm" name="searchTerm">\n\
	<b>Search by Article Title:</b><br />\n\
	<input type="text" id="d" name="d"\
	onKeyPress="if(Enter(event)){Get(searchTerm);return false}">\n\
	<input type="button" id="Go" value="Go!" onclick="Get(searchTerm);return false">\n\
	</form>')}