int divideSevenBy(int x)

{

  if (x == 0) {

    throw new DivideByZerException("bad-value");

  }

  return 7 / x;

}