function do_quick_search() {
	v_man_id = document.getElementById('qs_man_id').value;
	v_phone_nm = document.getElementById('qs_phone_nm').value;
	if (document.getElementById('qs_for_sale').checked )  v_for_sale = 'on'; else v_for_sale='';
	

	v_url = "prod_list.php?phone_nm="+v_phone_nm+"&man_id="+v_man_id+"&for_sale="+v_for_sale;
	
	window.location = v_url;
}



function qs_phone_nm_keypress(event){
	if(event.keyCode=='13'){
		do_quick_search()
	} 
}