class PR13237 {
  double kappa = Math.sqrt(2.0);
}