document.write("<script language='Javascript' src='js/Ajax.js' type='text/javascript'></script>")
      document.write("<script type='text/javascript'>")
	document.write("function addSearch(){")
		  document.write("if(ajaxRequest.readyState == 4){;")
			document.write("thesearch = document.getElementById('mysearch');")
			document.write("thesearch.innerHTML = ajaxRequest.responseText;")
		  document.write("}")
		document.write("}")
	document.write("</script>")