function search_form(documents_Form) {
	if (documents_Form.d.value.length > 0) {
		document.cookie = "d=" + escape(documents_Form.d.value);
		window.location = "Library-Results.htm";

	}
}