// Quickfilter for listbox (select)
selectfilter = new Object();
selectfilter.selectFilterData = new Object();
selectfilter.selectFilter = function(selectId, filter){
	var list = document.getElementById(selectId);
	if(!selectfilter.selectFilterData[selectId]) { //if we don't have a list of all the options, cache them now'
		selectfilter.selectFilterData[selectId] = new Array();
		for(var i = 0; i < list.options.length; i++) selectfilter.selectFilterData[selectId][i] = list.options[i];
	}
	list.options.length = 0;   //remove all elements from the list
	for(var i = 0; i < selectfilter.selectFilterData[selectId].length; i++) { //add elements from cache if they match filter
		var o = selectfilter.selectFilterData[selectId][i];
		if(o.text.toLowerCase().indexOf(filter.toLowerCase()) >= 0) list.add(o, null);
	}
}