// global.js
launchSearch =
	function () {
		if ($('search_field').value != "") {
			document.location = ("search?" + $('search_field').value);
		}
	}