function makequery(objname){
	html = "";
	v = document.forms[objname + "form"].v.value;
	dbobj = document.getElementById(objname + "db").getElementsByTagName("div");
	for (i = 0; i < dbobj.length; i++){
		q = dbobj[i].childNodes[0].nodeValue;
		if (q.indexOf(v) > -1){
			f = dbobj[i].getAttribute("file");
			html += "<li>";
			html += "<a href=\"/showdoc.asp?f=" + f + "\" onMouseover=\"showfaq('" + f + "')\" onMouseout=\"hidefaq()\">";
			html += q.replace(v, "<span class=\"jpyellowmarker\">" + v + "</span>");
			html += "</a>";
			html += "</li>";
		}
	}

	if (html != ""){
		document.getElementById("jp_" + objname).innerHTML = "<ul>" + html + "</ul>";
	}
}

function resetvalue(obj){
	if (obj.style.color != 'black'){
		obj.style.color = "black";
		obj.value = "";
	}
}