 Occupation-times formula

For a continuous semimartingale $X$ with local time of a semimartingale $L_t^a(X)$,for every nonnegative measurable function $f$.