// JScript 文件

function ltrim(s){return s.replace( /^\s*/, "");}
//去右空格;
function rtrim(s){return s.replace( /\s*$/, "");}
//左右空格;
function trim(s){return rtrim(ltrim(s));}

    function gosearch()
    {  
        var k = trim(document.getElementById("k").value);        
        var patn = /^[0-9]{2,7}-[0-9]{2}-[0-9]{1}$/
        if(patn.test(k))
        {
            window.location.href = '/Post.html?k='+ k ;  
        }
        else
        {
          alert("Please enter a valid cas number.");
        }    
    }