xt = from_list[i];
				object_list.options.add(new_option);
			}
		}
		
		function updateSearch()
		{
			if (old_search == document.spawner.filter.value)
			{
				return;
			}
			
			old_search = document.spawner.filter.value;
			
			
			var filtered = new Array();
			var i;
			for (i in objects)
			{
				if(objects[i].search(old_search) < 0)
				{
					continue;
				}
				
				filtered.push(objects[i]);
			}
			
			populateList(filtered);
		}
		
		function submitFirst(event)
		{
			if (!object_list.options