/* 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 Ideone
{
{
String myString
= "~KARACHI¦~~~~~~"; String result
= myString.
replaceAll("[^\\x00-\\x7F]",
""); }
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCVN0cmluZyBteVN0cmluZyA9ICJ+S0FSQUNIScOCwqZ+fn5+fn4iOwoJCVN0cmluZyByZXN1bHQgPSBteVN0cmluZy5yZXBsYWNlQWxsKCJbXlxceDAwLVxceDdGXSIsIiIpOwoJCVN5c3RlbS5vdXQucHJpbnRsbihyZXN1bHQpOwoJfQp9