Y := 1;
while X > 3 do
  Y := Y * X;
  X := X - 1
od