def applyOrderDic(order, aDic):
	""" Apply order to aList.
	An order of the form ["a","b","c"] means that the first element
	should be aDic["a"], and so on.
	"""
	if order==[]:
		return aDic.value()
	else:
		return map(lambda v:aDic[v], order)