The gas oil fraction distilled from petroleum is used as fuel in diesel engines.