import java.time.*;
import java.time.format.*;

public class JDK8031085 {
    public static void main(String[] args) throws Throwable {
        String x = "20130812214600025";
        DateTimeFormatter dtf = DateTimeFormatter.ofPattern("yyyyMMddHHmmssSSS");
        LocalDateTime t1 = LocalDateTime.parse(x, dtf);
    }
}