function searchBoxEntered(e) {
    if (window.event) {
        e = window.event;
    }
    if (e.keyCode == 13) {
        document.getElementById('searchButton').click();
    }
}
function addQuery(passedForm) 
{
    var text = passedForm.action;
    if(text.indexOf('?q=') > 0)
        text = text.substring(0, text.indexOf('?q='));
    var searchstring = passedForm.searchstring.value;
    searchstring = escape(searchstring);
    passedForm.action = text + "?q=" + searchstring;
}