The fraction of crude oil used as jet fuel is?