/* 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
{
	public static void main (String[] args) throws java.lang.Exception
	{
		// Open the input stream.
       //Scanner sc = new Scanner(System.in); 
 
       // Put your code here. 
       // For sample (Read the line)
       //String s = sc.nextLine();
       String s = "This string has (len) characters.";
       String d = String.valueOf(s.length());
 
       int lengthWithout = s.replaceAll("[(][a-zA-Z]*[)]", "").length();
       //int lengthLengthWithout = String.valueOf(lengthWithout)
 
       String string = s.replaceAll("[(][a-zA-Z]*[)]", String.valueOf(lengthWithout + String.valueOf(lengthWithout).length()));
 
       System.out.println(string);
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCS8vIE9wZW4gdGhlIGlucHV0IHN0cmVhbS4KICAgICAgIC8vU2Nhbm5lciBzYyA9IG5ldyBTY2FubmVyKFN5c3RlbS5pbik7IAoKICAgICAgIC8vIFB1dCB5b3VyIGNvZGUgaGVyZS4gCiAgICAgICAvLyBGb3Igc2FtcGxlIChSZWFkIHRoZSBsaW5lKQogICAgICAgLy9TdHJpbmcgcyA9IHNjLm5leHRMaW5lKCk7CiAgICAgICBTdHJpbmcgcyA9ICJUaGlzIHN0cmluZyBoYXMgKGxlbikgY2hhcmFjdGVycy4iOwogICAgICAgU3RyaW5nIGQgPSBTdHJpbmcudmFsdWVPZihzLmxlbmd0aCgpKTsKCiAgICAgICBpbnQgbGVuZ3RoV2l0aG91dCA9IHMucmVwbGFjZUFsbCgiWyhdW2EtekEtWl0qWyldIiwgIiIpLmxlbmd0aCgpOwogICAgICAgLy9pbnQgbGVuZ3RoTGVuZ3RoV2l0aG91dCA9IFN0cmluZy52YWx1ZU9mKGxlbmd0aFdpdGhvdXQpCgogICAgICAgU3RyaW5nIHN0cmluZyA9IHMucmVwbGFjZUFsbCgiWyhdW2EtekEtWl0qWyldIiwgU3RyaW5nLnZhbHVlT2YobGVuZ3RoV2l0aG91dCArIFN0cmluZy52YWx1ZU9mKGxlbmd0aFdpdGhvdXQpLmxlbmd0aCgpKSk7CgogICAgICAgU3lzdGVtLm91dC5wcmludGxuKHN0cmluZyk7Cgl9Cn0=