class C { String s = String.format("10%%'"); }