var $ = function(id){return document.getElementById(id);}

var toSearch = function(){
    var ipt = $('ipt_search_keyword');
    if(ipt==null || ipt.value=='')return;
    var k = encodeURIComponent(ipt.value);
    window.location = "/function/Search.aspx?keyword="+k;
}