//$=document.getElementById
function $(id) { return document.getElementById(id) }
function checkEnter(e) {
    var characterCode
    if (e && e.which) {
        e = e
        characterCode = e.which
    }
    else {
        e = event;
        characterCode = e.keyCode
    }

    if (characterCode == 13) {
        return true
    }
    else {
        return false
    }
}
function lookupProduct() {
    window.location = '/Pattern.aspx?patno=' + $('SearchTextBox').value
}