function search()
{
    document.getElementById("expression").value = document.getElementById("searchbox").value;
    document.searchform.submit();
    document.getElementById("searchform").submit(); 
}
            
function searchkeypress(e)
{
    var keynum;
    
    if(window.event) // IE
    {
        keynum = e.keyCode;
    }
    else if(e.which) // Netscape/Firefox/Opera
    {
        keynum = e.which;
    }
    
    if(keynum == 13)
    {
        search();
        return false;
    }
    else
    {
        return true;
    }
}