function submitSearch()
{	
	var txtSearch = document.getElementById("form-head-search-q");			
	document.location="../;004+s"+txtSearch.value;
	return false;		
}

function onKeyDown(e)
{
	
    try
    {
        var keynum;        
        if(window.event) // IE
        {
            keynum = event.keyCode;
        }
        else if(e.which) // Netscape/Firefox/Opera
        {
            keynum = e.which;
        }
        if (keynum == 13)
            return submitSearch();    
    }
    catch(e){}
}