pause (0);
printf ("ok\n");
