import java.util.*;
import java.lang.*;
import java.util.regex.*;
class Main
{
{
Pattern p = Pattern.compile("TZID=([^:]*):");
Matcher m = p.matcher("DTSTART;TZID=America/Mexico_City:20121125T153000");
if (m.find()) {
System.
out.
println(m.
group(1)); }
}
}
aW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguKjsKCmNsYXNzIE1haW4KewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBqYXZhLmxhbmcuRXhjZXB0aW9uCgl7CiAgICBQYXR0ZXJuIHAgPSBQYXR0ZXJuLmNvbXBpbGUoIlRaSUQ9KFteOl0qKToiKTsKICAgIE1hdGNoZXIgbSA9IHAubWF0Y2hlcigiRFRTVEFSVDtUWklEPUFtZXJpY2EvTWV4aWNvX0NpdHk6MjAxMjExMjVUMTUzMDAwIik7CiAgICBpZiAobS5maW5kKCkpIHsKICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4obS5ncm91cCgxKSk7CiAgICB9Cgl9Cn0=