--- SelectBox.js	2012-02-22 17:54:04.918403002 +0100
+++ SelectBox_new.js	2012-02-22 17:53:50.364403000 +0100
@@ -12,13 +12,15 @@
     redisplay: function(id) {
         // Repopulate HTML select box from cache
         var box = document.getElementById(id);
-        box.options.length = 0; // clear all options
+        box.innerHTML = ''; // clear all options
+	var fragment = document.createDocumentFragment();
         for (var i = 0, j = SelectBox.cache[id].length; i < j; i++) {
             var node = SelectBox.cache[id][i];
             if (node.displayed) {
-                box.options[box.options.length] = new Option(node.text, node.value, false, false);
+                fragment.appendChild(new Option(node.text, node.value, false, false));
             }
         }
+	box.appendChild(fragment.cloneNode(true));
     },
     filter: function(id, text) {
         // Redisplay the HTML select box, displaying only the choices containing ALL