context:     function getAutocompleteMenu() {        var choiceDiv = document.getElementById(getMenuId());        if (choiceDiv == null) {            choiceDiv = document.createElement("div");            document.body.appendChild(choiceDiv);            choiceDiv.id = getMenuId();            choiceDiv.className = "wicket-aa";            choiceDiv.style.display = "none";            choiceDiv.style.position = "absolute";            choiceDiv.style.zIndex = "10000";        }                choiceDiv.show = function() { wicketShow(this.id) }        choiceDiv.hide = function() { wicketHide(this.id) }                return choiceDiv;    }
meta: 1204	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1204/0ece11b9816a2aa9b8d6e5d0c89b7bbc544285a4/wicket-autocomplete.js/clean/jdk-1.4/wicket-extensions/src/main/java/wicket/extensions/ajax/markup/html/autocomplete/wicket-autocomplete.js