Y := 1 ; while 0 < X do Y := Y * X ; X := X - 1