//Function to Process Enter key on Search text box
            function processEnterKey(e) {
                var key;

                if (window.event)
                    key = window.event.keyCode;     //IE
                else
                    key = e.which;     //firefox

                if (key == 13) {
                    doSearch();
                    if (e.cancelBubble) e.cancelBubble = true;
                    return false;
                }
                else
                    return true;
            }

            //Execute the Search depending upon the filter criteria
            function doSearch() {
                //form1.action = "/zoeken/zoekresultaat?target="+document.getElementById("target").value;
                //form1.submit();
                window.open("/zoeken/zoekresultaat?target=" + document.getElementById("target").value, "_self");
            }