int main()
{
  ok;
