I believe that for operating income which would be used to calculate operating margin, taxes are not yet deducted.