/* 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. */
class WhileTest
{
public static void main
(String s
[]) {
int x=12;
while(x<13)
{
x--;
}
}
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgV2hpbGVUZXN0CnsKcHVibGljIHN0YXRpYyB2b2lkIG1haW4oU3RyaW5nIHNbXSkKewppbnQgeD0xMjsKd2hpbGUoeDwxMykKewp4LS07Cn0KU3lzdGVtLm91dC5wcmludGxuKHgpOwp9Cn0K