/* package whatever; // don't place package name! */
 
/* The class name doesn't have to be Main, as long as the class is not public. */
class Main
{
  public static void main (String[] args) throws java.lang.Exception
  {
	int vv = random(10, 20);
	while(vv == 13) {
		System.out.println(Integer.toString(vv));
	}
  }
  public int random(int min, int max) {
		int v;
		java.util.Random rand = new java.util.Random();
		v = (int)(rand.nextInt(max) + 1); 
		if(v < min) {
			random(min, max);
		}
		return(v);
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKLyogVGhlIGNsYXNzIG5hbWUgZG9lc24ndCBoYXZlIHRvIGJlIE1haW4sIGFzIGxvbmcgYXMgdGhlIGNsYXNzIGlzIG5vdCBwdWJsaWMuICovCmNsYXNzIE1haW4KewogIHB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgogIHsKCWludCB2diA9IHJhbmRvbSgxMCwgMjApOwoJd2hpbGUodnYgPT0gMTMpIHsKCQlTeXN0ZW0ub3V0LnByaW50bG4oSW50ZWdlci50b1N0cmluZyh2dikpOwoJfQogIH0KICBwdWJsaWMgaW50IHJhbmRvbShpbnQgbWluLCBpbnQgbWF4KSB7CgkJaW50IHY7CgkJamF2YS51dGlsLlJhbmRvbSByYW5kID0gbmV3IGphdmEudXRpbC5SYW5kb20oKTsKCQl2ID0gKGludCkocmFuZC5uZXh0SW50KG1heCkgKyAxKTsgCgkJaWYodiA8IG1pbikgewoJCQlyYW5kb20obWluLCBtYXgpOwoJCX0KCQlyZXR1cm4odik7Cgl9Cn0=