/*
     FILE ARCHIVED ON 14:40:27 Jun 3, 2006 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 14:06:50 Jun 20, 2011.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/

// ---------- script properties ----------


var results_location = "./search_results.htm";


// ---------- end of script properties ----------


function search_form(search_Form) {
	if (search_Form.d.value.length > 0) {
		document.cookie = "d=" + escape(search_Form.d.value);
		window.location = results_location;
	}
}