Events.addListener(window, "load", function() {
    var form = window.document.search;
    form.onsubmit = function() {
        return !/^\s*$/.test(form.t.value);
    };
});