Do the airlines have any protection in place against short-term spikes in fuel costs? According to the information I have seen online, the major US carriers all stopped their fuel hedging programs. Do they have any protections in place vis-a-vis their fuel suppliers?