function trim(stringToTrim) {
    return stringToTrim.replace(/^\s+|\s+$/g,"");
}



function query_string(a) {
    var a=document.getElementById("Search").value;
    var b=trim(a);
    if (b.length==0) {
        return false;
    } else {
        return true;
    }
    
}