public class pr8712
{
  boolean x(pr8712 a)
  {
    return (!(a instanceof pr8712));
  }
}