[horia314]

int rand17() { int t = rand15();

  if(t > 3)
      return t;
  else
      return 2 + rand15();

}

I dunno? will that work?