för i X : dt 1