i = 5;
while (--i)
  printf ("%d", i);
endwhile
printf ("\n");
