/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
/* Name of the class has to be "Main" only if the class is public. */
public class Main {
	public static void main (String[] args) throws java.lang.Exception {
		Dog[] dogs = { new Dog(), new ShibaDog() };
		for (Dog dog : dogs) {
			if (dog instanceof ShibaDog) {
				((ShibaDog) dog).shiba();
			}
		}
	}
}
 
class Dog {
 
}
 
class ShibaDog extends Dog {
	public void shiba() {
		System.out.println("shiba");
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KcHVibGljIGNsYXNzIE1haW4gewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBqYXZhLmxhbmcuRXhjZXB0aW9uIHsKCQlEb2dbXSBkb2dzID0geyBuZXcgRG9nKCksIG5ldyBTaGliYURvZygpIH07CgkJZm9yIChEb2cgZG9nIDogZG9ncykgewoJCQlpZiAoZG9nIGluc3RhbmNlb2YgU2hpYmFEb2cpIHsKCQkJCSgoU2hpYmFEb2cpIGRvZykuc2hpYmEoKTsKCQkJfQoJCX0KCX0KfQoKY2xhc3MgRG9nIHsKCQp9CgpjbGFzcyBTaGliYURvZyBleHRlbmRzIERvZyB7CglwdWJsaWMgdm9pZCBzaGliYSgpIHsKCQlTeXN0ZW0ub3V0LnByaW50bG4oInNoaWJhIik7Cgl9Cn0=